$\ddot{I}‰$-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 $\ddot{I}‰$-regular languages. These languages can be represented as nondeterministic Büchi automata (NBAs) or $\ddot{I}‰$-regular expr…