Browse Source

Fix in the Maze MDP (Thanks to Patrick Wienhöft)

refactoring
Sebastian Junges 4 years ago
parent
commit
470fed52a1
  1. 5
      lib/stormpy/examples/files/mdp/maze_2.nm

5
lib/stormpy/examples/files/mdp/maze_2.nm

@ -91,10 +91,11 @@ module maze
[north] s=9 -> (s'=6); [north] s=9 -> (s'=6);
[south] s=9 -> (s'=13); [south] s=9 -> (s'=13);
[east] s=10 -> (s'=9);
[west] s=10 -> (s'=9);
[east] s=10 -> (s'=10);
[west] s=10 -> (s'=10);
[north] s=10 -> (s'=7); [north] s=10 -> (s'=7);
[south] s=10 -> (s'=12); [south] s=10 -> (s'=12);
[east] s=11 -> (s'=11); [east] s=11 -> (s'=11);
[west] s=11 -> (s'=11); [west] s=11 -> (s'=11);
[north] s=11 -> (s'=8); [north] s=11 -> (s'=8);

Loading…
Cancel
Save