Quantitative Monitor Automata
No abstract available.
Related papers
- Algebraic Quantitative Semantics for Efficient Online Temporal Monitoring TACAS 2021
- Automating the Analysis of Quantitative Automata with QuAK TACAS 2025
- Symbolic Quantitative Robustness Analysis of Timed Automata TACAS 2015
- Modular quantitative monitoring POPL 2019
- Extending QuAK with Nested Quantitative Automata CAV 2026
- Monitoring CTMCs by Multi-clock Timed Automata CAV 2018
- What packets may come: automata for network monitoring POPL 2001
- Automata vs Linear-Programming Discounted-Sum Inclusion CAV 2018