Generalized Quantitative Analysis of Metric Transition Systems
Abstract elided by the publisher.
Related papers
- Elements of Quantitative Rewriting POPL 2023
- Automating the Analysis of Quantitative Automata with QuAK TACAS 2025
- Quantitative Interprocedural Analysis POPL 2015
- Bunched Fuzz: Sensitivity for Vector Metrics ESOP 2023
- Battery transition systems POPL 2014
- The wonderful wizard of LoC: paying attention to the man behind the curtain of lines-of-code metrics Onward! 2020
- Quantitative Assume Guarantee Synthesis CAV 2017
- Algebraic Quantitative Semantics for Efficient Online Temporal Monitoring TACAS 2021