sp
/
GSW_AI_LAB
Archived
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
The source code and dockerfile for the GSW2024 AI Lab.
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.
This repo is archived. You can view files and clone it, but cannot push or open issues/pull-requests.
16 Commits
1 Branch
0 Tags
27 MiB
Branch: main
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'main'
${ noResults }
GSW_AI_LAB/tempest-devel/resources/examples/testfiles/hoa/automaton_UXp0p1.hoa

32 lines
338 B
Raw Permalink Normal View History

initial commit
4 weeks ago
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
  1. HOA: v1
  2. States: 4
  3. properties: implicit-labels trans-labels no-univ-branch deterministic complete
  4. tool: "ltl2dstar" "0.5.4"
  5. name: "U X p0 p1"
  6. comment: "DBA2DRA[NBA=3]"
  7. acc-name: Rabin 1
  8. Acceptance: 2 (Fin(0)&Inf(1))
  9. Start: 1
  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. 2
  20. 0
  21. 0
  22. State: 2 {}
  23. 3
  24. 2
  25. 3
  26. 0
  27. State: 3 {}
  28. 3
  29. 3
  30. 3
  31. 3
  32. --END--