-
Definition of HOA structure - Project MilestoneNov 2, 2017–Nov 23, 2017Expired i7 / Isabelle / Hanoi_Omega_Automata_Format
-
Conversion of different omega automata definitions to HOA - Project Milestonestarted on Nov 23, 2017Open i7 / Isabelle / Hanoi_Omega_Automata_Format
-
-
-
-