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.

27 lines
223 B

  1. dtmc
  2. 0 1 1.0
  3. 1 1 0.0
  4. 1 3 0.5
  5. 1 4 0.5
  6. 2 1 0.3
  7. 2 2 0.0
  8. 2 7 0.7
  9. 3 2 0.05
  10. 3 3 0.7
  11. 3 6 0.05
  12. 3 8 0.2
  13. 4 1 0.3
  14. 4 4 0.0
  15. 4 5 0.3
  16. 4 6 0.4
  17. 5 4 1.0
  18. 5 5 0.0
  19. 6 6 0.0
  20. 6 7 1.0
  21. 7 2 0.2
  22. 7 6 0.8
  23. 8 9 1
  24. 9 8 0.3
  25. 9 9 0.7
  26. 10 4 1.0
  27. 11 5 0.7
  28. 11 9 0.3