Abstract Interpretation of Programs as Markov Decision Processes
Abstract elided by the publisher.
Related papers
- Runtime Monitors for Markov Decision Processes CAV 2021
- Magnifying-Lens Abstraction for Markov Decision Processes CAV 2007
- Model-Free Reinforcement Learning for Branching Markov Decision Processes CAV 2021
- Percentile Queries in Multi-dimensional Markov Decision Processes CAV 2015
- Multi-objective Model Checking of Markov Decision Processes TACAS 2007
- Value Iteration with Guessing for Markov Chains and Markov Decision Processes TACAS 2025
- 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