A library for ω-regular automata and processing of files in HOA format. HOA Extended for Synthesis Specification of HOA Format
reactive-systems/hanoi
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
A library for ω-regular automata and processing of files in HOA format. HOA Extended for Synthesis Specification of HOA Format