Minigrid2PRISM

sp 83560bfc73 fixed conditional movement w.r.t doors		1 year ago
..
example_guards.prism	added example guards and formula	2 years ago
example_guards.txt	added example guards and formula	2 years ago
example_guards.yaml	added example guards and formula	2 years ago
example_module.txt	added example for module	2 years ago
example_module.yaml	added example for module	2 years ago
example_probabilities.txt	added example probabilities	2 years ago
example_probabilities.yaml	added example probabilities	2 years ago