3 papers
cs.LO2026
Robust Verification of Concurrent Stochastic Games
Angel Y. He, David Parker
Autonomous systems often operate in multi-agent settings and need to make concurrent, strategic decisions, typically in uncertain environments. Verification and control problems fo…
cs.RO2025
Optimization-Based Robust Permissive Synthesis for Interval MDPs
Khang Vo Huynh, David Parker, Lu Feng
We present an optimization-based framework for robust permissive synthesis for Interval Markov Decision Processes (IMDPs), motivated by robotic decision-making under transition unc…
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…