research
∙
01/24/2023
A Practitioner's Guide to MDP Model Checking Algorithms
Model checking undiscounted reachability and expected-reward properties ...
share
research
∙
01/21/2022
Under-Approximating Expected Total Rewards in POMDPs
We consider the problem: is the optimal expected total reward to reach a...
research
∙
10/26/2020
Multi-objective Optimization of Long-run Average and Total Rewards
This paper presents an efficient procedure for multi-objective model che...
research
∙
06/30/2020
Verification of indefinite-horizon POMDPs
The verification problem in MDPs asks whether, for any policy resolving ...
research
∙
02/17/2020
The Probabilistic Model Checker Storm
We present the probabilistic model checker Storm. Storm supports the ana...
research
∙
10/24/2019
Simple Strategies in Multi-Objective MDPs (Technical Report)
We consider the verification of multiple expected reward objectives at o...
research
∙
03/16/2019
Parameter Synthesis for Markov Models
Markov chain analysis is a key technique in reliability engineering. A p...
research
∙
04/13/2018
Sound Value Iteration
Computing reachability probabilities is at the heart of probabilistic mo...
research
∙
10/24/2017