Error

[meena kumari]

mdp

const int blocked;
const int clear;
const int damaged;
const int intact;

module city
    state: [0..3] init 0; // 0: (blocked, damaged), 1: (blocked, intact), 2: (clear, damaged), 3: (clear, intact)

    [deployEmergency] state=0 -> 0.2 : (1, 1) + 0.8 : (2, 3);
    [deployEmergency] state=1 -> 0.2 : (0, 0) + 0.8 : (2, 3);
    [deployEmergency] state=2 -> 0.2 : (1, 1) + 0.8 : (2, 3);
    [deployEmergency] state=3 -> 0.2 : (0, 0) + 0.8 : (2, 3);

endmodule

rewards "emergency_rewards"
    state=0 : 10;
    state=3 : 5;
endrewards

Please help me to remove this error.

I want to implement POMDP

[Dave Parker]

Derar Meena,

"(1,1)" etc. are not legal syntax for updating variables. I suggest you
look at the manual pages, e.g.:

http://www.prismmodelchecker.org/manual/ThePRISMLanguage/Commands

and the many example models distributed with the tool, e.g.:

https://github.com/prismmodelchecker/prism/tree/master/prism-examples/mdps

Best wishes,

Dave

> --
> You received this message because you are subscribed to the Google
> Groups "PRISM model checker" group.
> To unsubscribe from this group and stop receiving emails from it, send
> an email to prismmodelchec...@googlegroups.com
> <mailto:prismmodelchec...@googlegroups.com>.
> To view this discussion on the web, visit
> https://groups.google.com/d/msgid/prismmodelchecker/b9eecdf2-0049-4194-bfe3-6d3b004c119bn%40googlegroups.com <https://groups.google.com/d/msgid/prismmodelchecker/b9eecdf2-0049-4194-bfe3-6d3b004c119bn%40googlegroups.com?utm_medium=email&utm_source=footer>.