Similar Items: Half-Positional Objectives Recognized by Deterministic Büchi Automata
- From Nondeterministic Büchi and Streett Automata to Deterministic Parity Automata
- History-deterministic Timed Automata
- Computing the Width of Non-deterministic Automata
- Token Games and History-Deterministic Quantitative-Automata
- Random Deterministic Automata With One Added Transition
- On the Sets of Real Numbers Recognized by Finite Automata in Multiple Bases