3 citations · 7 across the 12 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2026
On the Complexity of Robust Markov Decision Processes and Bisimulation Metrics
Marnix Suilen, Guillermo A. Pérez
Robust Markov decision processes (RMDPs) extend standard Markov decision processes (MDPs) to account for uncertainty in the transition probabilities. RMDPs have an uncertainty set…
cs.LO2024
A PSPACE Algorithm for Almost-Sure Rabin Objectives in Multi-Environment MDPs
Marnix Suilen, Marck van der Vegt, Sebastian Junges
Markov Decision Processes (MDPs) model systems with uncertain transition dynamics. Multiple-environment MDPs (MEMDPs) extend MDPs. They intuitively reflect finite sets of MDPs that…