Similar Items: History-Register Automata
- Determinisability of register and timed automata
- Bisimilarity in fresh-register automata
- Alternating register automata on finite words and trees
- Register Automata with Extrema Constraints, and an Application to Two-Variable Logic
- History-deterministic Timed Automata
- Token Games and History-Deterministic Quantitative-Automata