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
320 B

3 months ago
  1. HOA: v1
  2. States: 3
  3. properties: implicit-labels trans-labels no-univ-branch deterministic complete
  4. tool: "ltl2dstar" "0.5.4"
  5. name: "F & p0 X p1"
  6. comment: "DBA2DRA[NBA=3]"
  7. acc-name: Rabin 1
  8. Acceptance: 2 (Fin(0)&Inf(1))
  9. Start: 2
  10. AP: 2 "p0" "p1"
  11. --BODY--
  12. State: 0 {1}
  13. 0
  14. 0
  15. 0
  16. 0
  17. State: 1 {}
  18. 2
  19. 1
  20. 0
  21. 0
  22. State: 2 {}
  23. 2
  24. 1
  25. 2
  26. 1
  27. --END--