Similar Items: Comparator automata in quantitative verification
- Quantitative Verification with Neural Networks
- Quantitative Semantics for Jumping Automata
- Quantitative Languages Defined by Functional Automata
- Quantitative Automata under Probabilistic Semantics
- Safety and Liveness of Quantitative Properties and Automata
- Verification for Timed Automata extended with Unbounded Discrete Data Structures