Similar Items: Automata Minimization: a Functorial Approach
- Minimization of visibly pushdown automata is NP-complete
- Minimization and Canonization of GFG Transition-Based Automata
- Antichains for the Automata-Based Approach to Model-Checking
- Hyper-Minimization for Deterministic Register Automata
- Petri Automata
- From Nondeterministic Büchi and Streett Automata to Deterministic Parity Automata