Similar Items: Computing the Width of Non-deterministic Automata
- History-deterministic Timed Automata
- From Nondeterministic Büchi and Streett Automata to Deterministic Parity Automata
- Off-line test selection with test purposes for non-deterministic timed automata
- Token Games and History-Deterministic Quantitative-Automata
- Random Deterministic Automata With One Added Transition
- Non-Deterministic Functions as Non-Deterministic Processes (Extended Version)