← Search

Tobias Meggendorfer

3 accepted papers

2025

Solving Robust Markov Decision Processes: Generic, Reliable, Efficient

AAAI 2025technical

Markov decision processes (MDP) are a well-established model for sequential decision-making in the presence of probabilities. In *robust* MDP (RMDP), every action is associated with an *uncertainty set* of probability distributions, modelling that transition probabilities are not known precisely. Ba…

Cited by 1SourcePDFScholar
2024

Certified Policy Verification and Synthesis for MDPs under Distributional Reach-Avoidance Properties

IJCAI 2024poster

Markov Decision Processes (MDPs) are a classical model for decision making in the presence of uncertainty. Often they are viewed as state transformers with planning objectives defined with respect to paths over MDP states. An increasingly popular alternative is to view them as distribution transform…

Cited by 1SourcePDFScholar