Marnix Suilen

According to our database, Marnix Suilen authored at least 16 papers between 2020 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

On the Complexity of Robust Markov Decision Processes and Bisimulation Metrics.

Marnix Suilen, Guillermo A. Pérez

CoRR, April, 2026

2025

Multi-Environment POMDPs: Discrete Model Uncertainty Under Partial Observability.

Eline M. Bovy, Caleb Probine, Marnix Suilen, Ufuk Topcu, Nils Jansen

CoRR, October, 2025

Code for the AB-HSVI algorithm and the experiments in the paper: "Multi-Environment POMDPs: Discrete Model Uncertainty Under Partial Observability" (NeurIPS 2025).

Eline M. Bovy, Caleb Probine, Marnix Suilen, Ufuk Topcu, Nils Jansen

Dataset, October, 2025

Pessimistic Iterative Planning with RNNs for Robust POMDPs.

Maris F. L. Galesloot, Marnix Suilen, Thiago D. Simão, Steven Carr, Matthijs T. J. Spaan, Ufuk Topcu, Nils Jansen

Proceedings of the ECAI 2025 - 28th European Conference on Artificial Intelligence, 25-30 October 2025, Bologna, Italy, 2025

Data-Efficient Safe Policy Improvement Using Parametric Structure.

Kasper Engelen, Guillermo A. Pérez, Marnix Suilen

Proceedings of the ECAI 2025 - 28th European Conference on Artificial Intelligence, 25-30 October 2025, Bologna, Italy, 2025

2024

Pessimistic Iterative Planning for Robust POMDPs.

Maris F. L. Galesloot, Marnix Suilen, Thiago D. Simão, Steven Carr, Matthijs T. J. Spaan, Ufuk Topcu, Nils Jansen

CoRR, 2024

Imprecise Probabilities Meet Partial Observability: Game Semantics for Robust POMDPs.

Eline M. Bovy, Marnix Suilen, Sebastian Junges, Nils Jansen

Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024

A PSPACE Algorithm for Almost-Sure Rabin Objectives in Multi-Environment MDPs.

Marnix Suilen, Marck van der Vegt, Sebastian Junges

Proceedings of the 35th International Conference on Concurrency Theory, 2024

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet.

Marnix Suilen, Thom Badings, Eline M. Bovy, David Parker, Nils Jansen

Proceedings of the Principles of Verification: Cycling the Probabilistic Landscape, 2024

2023

Decision-making under uncertainty: beyond probabilities.

Thom Badings, Thiago D. Simão, Marnix Suilen, Nils Jansen

Int. J. Softw. Tools Technol. Transf., June, 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

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

Safe Policy Improvement for POMDPs via Finite-State Controllers.

Thiago D. Simão, Marnix Suilen, Nils Jansen

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

Robust Anytime Learning of Markov Decision Processes.

Marnix Suilen, Thiago D. Simão, David Parker, Nils Jansen

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

2021

Balancing Wind and Batteries: Towards Predictive Verification of Smart Grids.

Thom S. Badings, Arnd Hartmanns, Nils Jansen, Marnix Suilen

Proceedings of the NASA Formal Methods - 13th International Symposium, 2021

Robust Finite-State Controllers for Uncertain POMDPs.

Murat Cubuktepe, Nils Jansen, Sebastian Junges, Ahmadreza Marandi, Marnix Suilen, Ufuk Topcu

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Robust Policy Synthesis for Uncertain POMDPs via Convex Optimization.

Marnix Suilen, Nils Jansen, Murat Cubuktepe, Ufuk Topcu

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020