$\omega$-regular Expression Synthesis from Transition-Based Büchi Automata

Charles Pert, Dalal Alrajeh, Alessandra Russo

A popular method for modelling reactive systems is to use $\omega$-regular languages. These languages can be represented as nondeterministic Büchi automata (NBAs) or $\omega$-regular express…