From baae1d4d781719fd5637efa0d3c3bca4f1bd9342 Mon Sep 17 00:00:00 2001 From: Sebastian Junges Date: Mon, 20 Apr 2020 23:17:34 -0700 Subject: [PATCH] fix maze2 example --- lib/stormpy/examples/files/pomdp/maze_2.prism | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/lib/stormpy/examples/files/pomdp/maze_2.prism b/lib/stormpy/examples/files/pomdp/maze_2.prism index f89d179..8a83313 100644 --- a/lib/stormpy/examples/files/pomdp/maze_2.prism +++ b/lib/stormpy/examples/files/pomdp/maze_2.prism @@ -24,7 +24,7 @@ observables endobservables // o=0 - observation in initial state // o=1 - west and north walls (s0) -// o=2 - north and south ways (s1 and s3) +// o=2 - north and south walls (s1 and s3) // o=3 - north wall (s2) // o=4 - east and north way (s4) // o=5 - east and west walls (s5, s6, s7, s8, s9 and s10) @@ -69,7 +69,7 @@ module maze [south] s=2 -> (s'=6) & (o'=5); [east] s=3 -> (s'=4) & (o'=4); - [west] s=3 -> (s'=2) & (o'=2); + [west] s=3 -> (s'=2) & (o'=3); [north] s=3 -> (s'=3); [south] s=3 -> (s'=3); @@ -103,8 +103,8 @@ module maze [north] s=9 -> (s'=6); [south] s=9 -> (s'=13) & (o'=7); - [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); [south] s=10 -> (s'=12) & (o'=6); @@ -135,5 +135,6 @@ endrewards // target observation label "goal" = o=7; +label "bad" = o=6;