Showing 2024Show all
2 papers · 1 filter
cs.AI2024
Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet
Marnix Suilen, Thom Badings, Eline M. Bovy +2
Markov decision processes (MDPs) are a standard model for sequential decision-making problems and are widely used across many scientific areas, including formal methods and artific…
cs.AI2024
Imprecise Probabilities Meet Partial Observability: Game Semantics for Robust POMDPs
Eline M. Bovy, Marnix Suilen, Sebastian Junges +1
Partially observable Markov decision processes (POMDPs) rely on the key assumption that probability distributions are precisely known. Robust POMDPs (RPOMDPs) alleviate this concer…