Model checking hyperproperties for Markov decision processes
From MaRDI portal
Publication:2105474
DOI10.1016/j.ic.2022.104978OpenAlexW4307454606WikidataQ124212460 ScholiaQ124212460MaRDI QIDQ2105474
Erika Ábrahám, Borzoo Bonakdarpour, Ezio Bartocci, Oyendrila Dobe
Publication date: 8 December 2022
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ic.2022.104978
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Stochastic game logic
- Defining liveness
- Algorithms for model checking HyperLTL and HyperCTL\(^*\)
- Monitoring hyperproperties
- Bounded model checking for hyperproperties
- Synthesis from hyperproperties
- The Algorithmic Foundations of Differential Privacy
- Program Repair for Hyperproperties
- Rewriting-Based Runtime Verification for Alternation-Free HyperLTL
- On Decision Problems for Probabilistic Büchi Automata
- Model checking quantitative hyperproperties
- HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties
This page was built for publication: Model checking hyperproperties for Markov decision processes
