From 4e16de6ca6f70bcfb38c08f2567013df595659cf Mon Sep 17 00:00:00 2001 From: TimQu Date: Sat, 11 Jun 2016 13:49:51 +0200 Subject: [PATCH] modified the simple example a little Former-commit-id: 3db0fddaa7e4e6ae6e55bcd94463318a9ed777da --- examples/multi-objective/mdp/simple/simple.nm | 5 ++--- examples/multi-objective/mdp/simple/simple.pctl | 2 +- 2 files changed, 3 insertions(+), 4 deletions(-) diff --git a/examples/multi-objective/mdp/simple/simple.nm b/examples/multi-objective/mdp/simple/simple.nm index 50c4fe344..04c1a0ea0 100644 --- a/examples/multi-objective/mdp/simple/simple.nm +++ b/examples/multi-objective/mdp/simple/simple.nm @@ -1,6 +1,4 @@ -// sum of two dice as the asynchronous parallel composition of -// two copies of Knuth's model of a fair die using only fair coins - + mdp module simple @@ -10,6 +8,7 @@ module simple [A] s=0 -> 0.2 : (s'=1) + 0.8 : (s'=0); [B] s=0 -> 1 : (s'=2); + [C] s=0 -> 1 : (s'=0); [] s>0 -> 1 : (s'=s); endmodule diff --git a/examples/multi-objective/mdp/simple/simple.pctl b/examples/multi-objective/mdp/simple/simple.pctl index 61e4e1a64..91d5becac 100644 --- a/examples/multi-objective/mdp/simple/simple.pctl +++ b/examples/multi-objective/mdp/simple/simple.pctl @@ -1,2 +1,2 @@ -multi(P>0.4 [ F "a"], P>0.3 [ F "b"] ) +multi(P<0.4 [ F "a"], P<0.3 [ F "b"] ) //multi(Pmin=? [ F<=10 "a"], R<0.3 [ F "b" | "a"] ) \ No newline at end of file