From 935910f27de54438f263681a89546a3d7b101bcf Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@gmail.com>
Date: Tue, 21 Jul 2020 16:42:06 -0700
Subject: [PATCH] pomdp/drn example

---
 lib/stormpy/examples/files.py             |   2 +
 lib/stormpy/examples/files/pomdp/maze.drn | 147 ++++++++++++++++++++++
 2 files changed, 149 insertions(+)
 create mode 100644 lib/stormpy/examples/files/pomdp/maze.drn

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