Percentile Queries in Multi-dimensional Markov Decision Processes
Abstract elided by the publisher.
Related papers
- Multi-objective Model Checking of Markov Decision Processes TACAS 2007
- Multi-objective Optimization of Long-run Average and Total Rewards TACAS 2021
- Abstract Interpretation of Programs as Markov Decision Processes SAS 2003
- Fast Computation of Conditional Probabilities in MDPs and Markov Chain Families CAV 2026
- Magnifying-Lens Abstraction for Markov Decision Processes CAV 2007
- Ensuring the Reliability of Your Model Checker: Interval Iteration for Markov Decision Processes CAV 2017
- Efficient Computation of Time-Bounded Reachability Probabilities in Uniform Continuous-Time Markov Decision Processes TACAS 2004
- ULTIMATE: A Tool for the Verification and Synthesis of Stochastic World Models CAV 2026