Library for determinization, complementation and containment checking for Buchi automata
complementation
buchi-automata
infinite-words
determinization
containment-checking
scc-decomposition
-
Updated
Jul 15, 2022 - C++
Library for determinization, complementation and containment checking for Buchi automata
Add a description, image, and links to the infinite-words topic page so that developers can more easily learn about it.
To associate your repository with the infinite-words topic, visit your repo's landing page and select "manage topics."