Similar Items: Quantitative Semantics for Jumping Automata
- Quantitative Automata under Probabilistic Semantics
- Comparator automata in quantitative verification
- Safety and Liveness of Quantitative Properties and Automata
- Quantitative Languages Defined by Functional Automata
- Sampled Semantics of Timed Automata
- Token Games and History-Deterministic Quantitative-Automata