How to get the optimal strategy in adversary?

[fanji...@gmail.com]

Hi,

I created a mdp model, and there is a module of DTMC in it.

Like this:

module env

s:[0..39]init 0;

[tick]s=0->0.185:(s'=1)+0.63:(s'=2)+0.185:(s'=3);

[tick]s=1->0.185:(s'=4)+0.63:(s'=8)+0.185:(s'=12);

[tick]s=2->0.185:(s'=16)+0.63:(s'=20)+0.185:(s'=24);

[tick]s=3->0.185:(s'=28)+0.63:(s'=32)+0.185:(s'=36);

endmodule

I use this command to get an optimal strategy,

./prism PRISM   -pf 'Rmax=? [F time=HORIZON]' -exportadvmdp adv.tra -exportstates adv.sta -exportlabels adv.lab -noprob1 -s 

But the adv.tra file is:

28539 20985

0 0 51 0.185 tick

0 0 57 0.63 tick

0 0 63 0.185 tick

1 0 50 0.185 tick

1 0 56 0.63 tick

1 0 62 0.185 tick

2 0 0 1 

3 0 0 1 

4 0 1 1 

5 0 2 1 

6 0 49 0.185 tick

6 0 55 0.63 tick

6 0 61 0.185 tick

7 0 48 0.185 tick

7 0 54 0.63 tick

7 0 60 0.185 tick

8 0 7 1 DecDimmer_start

9 0 6 1 

10 0 7 1 

11 0 8 1 

12 0 0 1 

13 0 1 1 

14 0 2 1 

15 0 3 1 

16 0 4 1 

17 0 5 1 

18 0 0 1 

19 0 1 1 

...............

...............

I don't know how to read it .Can anyone help me?

Sincerely :)

Jenney