diff --git a/lib/stormpy/examples/files.py b/lib/stormpy/examples/files.py index 177bf2f..427e9ad 100644 --- a/lib/stormpy/examples/files.py +++ b/lib/stormpy/examples/files.py @@ -35,6 +35,8 @@ prism_pmdp_coin_two_dice = _path("pmdp", "two_dice.nm") """Prism example for parametric two dice""" prism_mdp_maze = _path("mdp", "maze_2.nm") """Prism example for the maze MDP""" +drn_pomdp_maze = _path("pomdp", "maze.drn") +"""DRN example for the maze POMDP""" prism_pomdp_maze = _path("pomdp", "maze_2.prism") """Prism example for the maze POMDP""" prism_par_pomdp_maze = _path("pomdp", "maze_2_par.prism") diff --git a/lib/stormpy/examples/files/pomdp/maze.drn b/lib/stormpy/examples/files/pomdp/maze.drn new file mode 100644 index 0000000..6f1f6d3 --- /dev/null +++ b/lib/stormpy/examples/files/pomdp/maze.drn @@ -0,0 +1,147 @@ +// Exported by storm +// Original model type: POMDP +@type: POMDP +@parameters + +@reward_models + +@nr_states +15 +@nr_choices +54 +@model +state 0 {6} init + action __NOLABEL__ + 1 : 0.07692307692 + 2 : 0.07692307692 + 3 : 0.07692307692 + 4 : 0.07692307692 + 5 : 0.07692307692 + 6 : 0.07692307692 + 7 : 0.07692307692 + 8 : 0.07692307692 + 9 : 0.07692307692 + 10 : 0.07692307692 + 11 : 0.07692307692 + 12 : 0.07692307692 + 13 : 0.07692307692 +state 1 {1} + action east + 2 : 1 + action west + 1 : 1 + action north + 1 : 1 + action south + 6 : 1 +state 2 {4} + action east + 3 : 1 + action west + 1 : 1 + action north + 2 : 1 + action south + 2 : 1 +state 3 {7} + action east + 4 : 1 + action west + 2 : 1 + action north + 3 : 1 + action south + 7 : 1 +state 4 {4} + action east + 5 : 1 + action west + 3 : 1 + action north + 4 : 1 + action south + 4 : 1 +state 5 {3} + action east + 5 : 1 + action west + 4 : 1 + action north + 5 : 1 + action south + 8 : 1 +state 6 {0} + action east + 6 : 1 + action west + 6 : 1 + action north + 1 : 1 + action south + 9 : 1 +state 7 {0} + action east + 7 : 1 + action west + 7 : 1 + action north + 3 : 1 + action south + 10 : 1 +state 8 {0} + action east + 8 : 1 + action west + 8 : 1 + action north + 5 : 1 + action south + 11 : 1 +state 9 {0} + action east + 9 : 1 + action west + 9 : 1 + action north + 6 : 1 + action south + 12 : 1 +state 10 {0} + action east + 10 : 1 + action west + 10 : 1 + action north + 7 : 1 + action south + 14 : 1 +state 11 {0} + action east + 11 : 1 + action west + 11 : 1 + action north + 8 : 1 + action south + 13 : 1 +state 12 {2} + action east + 12 : 1 + action west + 12 : 1 + action north + 9 : 1 + action south + 12 : 1 +state 13 {2} + action east + 13 : 1 + action west + 13 : 1 + action north + 11 : 1 + action south + 13 : 1 +state 14 {5} goal + action done + 14 : 1