The following pages link to (Q5028456):
Displaying 5 items.
- On Determinisation of Good-for-Games Automata (Q3449484) (← links)
- A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct (Q6137877) (← links)
- Token Games and History-Deterministic Quantitative-Automata (Q6178674) (← links)
- On (I/O)-Aware Good-For-Games Automata (Q6485864) (← links)
- Checking history-determinism is NP-hard for parity automata (Q6629459) (← links)