Skip to content

Commit 379797e

Browse files
committed
updated the ipomdp example file
1 parent 5d16d1a commit 379797e

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

lib/stormpy/examples/files/ipomdp/tiny-01.drn

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -24,4 +24,4 @@ state 2 {2}
2424
state 3 {2}
2525
action 0
2626
0 : [0.5, 1]
27-
3 : [0, 0.5]
27+
3 : [0.1, 0.5]

0 commit comments

Comments
 (0)