File:Simulation du problème de Monty Hall au moyen d'un graphe d'état-transition.png

Français : On suppose que le joueur a gagné et on se demande s'il a changé de porte ou non.

Après 1323 tours de jeu (itérations de la simulation), en supposant que le joueur a gagné à chaque fois, on trouve que la probabilité que le joueur ait changé de porte est de 67,72% (nombre_de_changements_de_porte/nombre_de_tours) et que la probabilité que le joueur ait conservé sa porte est de 32,28% (nombre_de_conservations_de_porte/nombre_de_tours).

Le logiciel Uppaal a été utilisé pour réaliser cette simulation de Monte-Carlo. En rouge sont les noms des différents états du système associés à des noeuds. On trouve associés aux flèches, autrement dit aux transitions :

     -en bleu les affectations de valeurs, 
     -en vert les gardes logiques,
     -en jaune les affectations de variables non-déterministes.

On a défini arbitrairement que les portes 1 et 2 cachaient une chèvre et que la porte 3 cachait une voiture. Cela n'a cependant pas d'importance car une permutation entre les numéros de porte n'a pas d'influence sur le résultat de la simulation.