From 36f27e43911d93f7ea1c54dbada27153925b71a1 Mon Sep 17 00:00:00 2001 From: TimQu Date: Fri, 25 Sep 2020 23:25:44 +0200 Subject: [PATCH] Added a simple example model for multi-objective lra. --- .../testfiles/mdp/multiobj_simple_lra.nm | 28 +++++++++++++++++++ 1 file changed, 28 insertions(+) create mode 100644 resources/examples/testfiles/mdp/multiobj_simple_lra.nm diff --git a/resources/examples/testfiles/mdp/multiobj_simple_lra.nm b/resources/examples/testfiles/mdp/multiobj_simple_lra.nm new file mode 100644 index 000000000..800c3e35a --- /dev/null +++ b/resources/examples/testfiles/mdp/multiobj_simple_lra.nm @@ -0,0 +1,28 @@ +mdp +module main + + x : [0..8]; + [a] x=0 -> 0.5 : (x'=1) + 0.5 : (x'=0); + [a] x=0 -> 0.2 : (x'=0) + 0.8 : (x'=3); + [b] x=1 -> (x'=1); + [c] x=2 -> (x'=2); + [d] x=1 -> (x'=2); + [d] x=2 -> 0.1 : (x'=1) + 0.9 : (x'=2); + [] x=3 -> (x'=3); +endmodule + +rewards "first" + [a] true : 1; + [b] true : 5; + [d] true : 5; +endrewards + +rewards "second" + [a] true : 1; + [c] true : 8; + x=2 : 8; +endrewards + +rewards "third" + x=0 : 1; +endrewards