Module automata 

Automata for Reactive Synthesis

Büchi automaton construction from LTL specifications. Used as the intermediate representation for game solving.

Structs

AutomatonState

A state in a Büchi automaton.

AutomatonTransition

A transition in a Büchi automaton.

BuchiAutomaton

A Büchi automaton for LTL specifications.

Functions

ltl_to_buchi

Convert an LTL specification to a Büchi automaton.