Minimization and Canonization of GFG Transition-Based Automata

Bader Abu Radi, Orna Kupferman

While many applications of automata in formal methods can use nondeterministic automata, some applications, most notably synthesis, need deterministic or good-for-games (GFG) autom…