added accumulated reward computation.

Author: hhatefi

examples/ToyExamples/ma1.mrm

@@ -0,0 +1,19 @@
+#INITIALS
+s0
+#GOALS
+#TRANSITIONS
+s0 ! 3
+* s1 2.0
+* s2 3.0 
+s1 tau 4
+* s0 0.25
+* s1 0.25
+* s3 0.5 
+s2 tau 9
+* s1 0.5
+* s2 0.5
+s2 tau 7
+* s3 0.25
+* s1 0.75
+s3 ! 2
+* s0 3.0

examples/ToyExamples/ma2.mrm

@@ -0,0 +1,16 @@
+#INITIALS
+s0
+#GOALS
+#TRANSITIONS
+s0 ! 0
+* s2 1.0
+s1 tau 0
+* s2 1.0
+s1 tau 0
+* s4 1.0
+s2 ! 0
+* s3 1.0
+s3 ! 3
+* s3 0.5
+s4 ! 1
+* s4 0.5

examples/ToyExamples/ma3.mrm

@@ -0,0 +1,18 @@
+#INITIALS
+s0
+#GOALS
+#TRANSITIONS
+s0 ! 0
+* s1 1.0
+s1 tau 0
+* s2 1.0
+s1 tau 0
+* s4 1.0
+s2 ! 4
+* s3 2.0
+s3 ! 0
+* s3 0.5
+s4 ! 3
+* s5 1.0
+s5 ! 0
+* s5 0.5