Projects in Awesome Lists tagged with generalized-buchi-automaton
A curated list of projects in awesome lists tagged with generalized-buchi-automaton .
https://github.com/amirreza81/buchi-automaton
Theoretical Project about Büchi and Generalized Büchi automaton
automata automation buchi-automaton dba-automation dfa generalized-buchi-automaton nfa omega-language
Last synced: 23 Feb 2025
