Polynomial-Time Verification of PCTL Properties of MDPs with Convex Uncertainties
Abstract elided by the publisher.
Related papers
- A Practitioner's Guide to MDP Model Checking Algorithms TACAS 2023
- Scenario-Based Verification of Uncertain MDPs TACAS 2020
- Sequential Convex Programming for the Efficient Verification of Parametric MDPs TACAS 2017
- ULTIMATE: A Tool for the Verification and Synthesis of Stochastic World Models CAV 2026
- Verifying Infinite State Processes with Sequential and Parallel Composition POPL 1995
- PAC Statistical Model Checking of Mean Payoff in Discrete- and Continuous-Time MDP CAV 2022
- PRIMA: general and precise neural network certification via scalable convex hull approximations POPL 2022
- Safety-Aware Apprenticeship Learning CAV 2018