Similar Items: Quantitative Languages Defined by Functional Automata
- Comparator automata in quantitative verification
- Quantitative Semantics for Jumping Automata
- Quantitative Automata under Probabilistic Semantics
- Safety and Liveness of Quantitative Properties and Automata
- Token Games and History-Deterministic Quantitative-Automata
- A syntactic approach to continuity of T-definable functionals