Similar Items: From Nondeterministic Büchi and Streett Automata to Deterministic Parity Automata
- Half-Positional Objectives Recognized by Deterministic Büchi Automata
- Parity and Streett Games with Costs
- Improved Algorithms for Parity and Streett objectives
- Residuality and Learning for Nondeterministic Nominal Automata
- History-deterministic Timed Automata
- Efficient reduction of nondeterministic automata with application to language inclusion testing