Marnix Suilen

According to our database, Marnix Suilen authored at least 10 papers between 2020 and 2024.

Collaborative distances:

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

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

2023

Decision-making under uncertainty: beyond probabilities.

Thom S. 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