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