Quantitative Multi-objective Verification for Probabilistic Systems
No abstract available.
Related papers
- Automated Verification of Higher-Order Probabilistic Programs via a Dependent Refinement Type System ICFP 2024
- Bridging the semantic gap between qualitative and quantitative models of distributed systems OOPSLA 2022
- A Deductive Verification Infrastructure for Probabilistic Programs OOPSLA 2023
- Verification of Quantitative Hyperproperties Using Trace Enumeration Relations CAV 2020
- The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models - (QComp 2019 Competition Report) TACAS 2019
- Unifying Qualitative and Quantitative Safety Verification of DNN-Controlled Systems CAV 2024
- The Quantitative Verification Benchmark Set TACAS 2019
- Foundations for Entailment Checking in Quantitative Separation Logic ESOP 2022