Analyzing Probabilistic Systems using PRISM integration
++++++++++++++++++++++++++++++++++++++++++++++++++++++++

Monty Hall problem:

Show host hides a prize behind one of three doors. A player guesses a door.
The host opens one of the other doors, revealing no prize.
The player can now choose to stick with their original choice or switch to the other door.

.. literalinclude :: ../../examples/monty_hall.py