Robust Policy Synthesis for Uncertain POMDPs via Convex Optimization. - Marnix Suilen; Nils Jansen 001; Murat Cubuktepe; Ufuk Topcu (IJCAI, 2020)

Robust Finite-State Controllers for Uncertain POMDPs. - Murat Cubuktepe; Nils Jansen 001; Sebastian Junges; Ahmadreza Marandi; Marnix Suilen; Ufuk Topcu (AAAI, 2021)

Balancing Wind and Batteries: Towards Predictive Verification of Smart Grids. - Thom S. Badings; Arnd Hartmanns; Nils Jansen 001; Marnix Suilen (NFM, 2021)

Robust Anytime Learning of Markov Decision Processes. - Marnix Suilen; Thiago D. Simão; David Parker 001; Nils Jansen 001 (NeurIPS, 2022)

Safe Policy Improvement for POMDPs via Finite-State Controllers. - Thiago D. Simão; Marnix Suilen; Nils Jansen 001 (AAAI, 2023)

More for Less: Safe Policy Improvement with Stronger Performance Guarantees. - Patrick Wienhöft; Marnix Suilen; Thiago D. Simão; Clemens Dubslaff; Christel Baier; Nils Jansen 001 (IJCAI, 2023)

Decision-making under uncertainty: beyond probabilities. - Thom S. Badings; Thiago D. Simão; Marnix Suilen; Nils Jansen 001 (Int. J. Softw. Tools Technol. Transf., 2023)

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet. - Marnix Suilen; Thom S. Badings; Eline M. Bovy; David Parker 001; Nils Jansen 001 (Principles of Verification (3), 2024)

A PSPACE Algorithm for Almost-Sure Rabin Objectives in Multi-Environment MDPs. - Marnix Suilen; Marck van der Vegt; Sebastian Junges (CONCUR, 2024)

Imprecise Probabilities Meet Partial Observability: Game Semantics for Robust POMDPs. - Eline M. Bovy; Marnix Suilen; Sebastian Junges; Nils Jansen 001 (IJCAI, 2024)

Pessimistic Iterative Planning for Robust POMDPs. - Maris F. L. Galesloot; Marnix Suilen; Thiago D. Simão; Steven Carr 002; Matthijs T. J. Spaan; Ufuk Topcu; Nils Jansen 001 (CoRR, 2024)

Data-Efficient Safe Policy Improvement Using Parametric Structure. - Kasper Engelen; Guillermo A. Pérez 001; Marnix Suilen (CoRR, 2025)