You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

20 lines
244 B

  1. mdp
  2. module module1
  3. s : [0..2] init 0;
  4. [A] s=0 -> 1 : (s'=1);
  5. [B] s=0 -> 1 : (s'=2);
  6. [C] s=1 -> 1 : true;
  7. [D] s=1 -> 1 : (s'=2);
  8. [E] s=2 -> 1 : true;
  9. endmodule
  10. rewards "rew"
  11. [A] true : 10;
  12. [C] true : 3;
  13. [E] true : 1;
  14. endrewards