Marnix Suilen

25 papers A* 6A 2B 1Journal 14Unranked 2
YearRankTypeTitle / Venue / Authors
2025 A conf
Data-Efficient Safe Policy Improvement Using Parametric Structure.
ECAI
Kasper Engelen, Guillermo A. Pérez, Marnix Suilen
2025 J jnl
Data-Efficient Safe Policy Improvement Using Parametric Structure.
CoRR
Kasper Engelen, Guillermo A. Pérez, Marnix Suilen
2025 J jnl
Multi-Environment POMDPs: Discrete Model Uncertainty Under Partial Observability.
CoRR
Eline M. Bovy, Caleb Probine, Marnix Suilen, Ufuk Topcu, Nils Jansen
2025 A conf
Pessimistic Iterative Planning with RNNs for Robust POMDPs.
ECAI
Maris F. L. Galesloot, Marnix Suilen, Thiago D. Simão, Steven Carr, Matthijs T. J. Spaan, Ufuk Topcu, Nils Jansen
2024 B conf
A PSPACE Algorithm for Almost-Sure Rabin Objectives in Multi-Environment MDPs.
CONCUR
Marnix Suilen, Marck van der Vegt, Sebastian Junges
2024 J jnl
A PSPACE Algorithm for Almost-Sure Rabin Objectives in Multi-Environment MDPs.
CoRR
Marnix Suilen, Marck van der Vegt, Sebastian Junges
2024 A* conf
Imprecise Probabilities Meet Partial Observability: Game Semantics for Robust POMDPs.
IJCAI
Eline M. Bovy, Marnix Suilen, Sebastian Junges, Nils Jansen
2024 J jnl
Imprecise Probabilities Meet Partial Observability: Game Semantics for Robust POMDPs.
CoRR
Eline M. Bovy, Marnix Suilen, Sebastian Junges, Nils Jansen
2024 J jnl
Pessimistic Iterative Planning for Robust POMDPs.
CoRR
Maris F. L. Galesloot, Marnix Suilen, Thiago D. Simão, Steven Carr, Matthijs T. J. Spaan, Ufuk Topcu, Nils Jansen
2024 — conf
Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet.
Principles of Verification (3)
Marnix Suilen, Thom Badings, Eline M. Bovy, David Parker, Nils Jansen
2024 J jnl
Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet.
CoRR
Marnix Suilen, Thom Badings, Eline M. Bovy, David Parker, Nils Jansen
2023 J jnl
Decision-Making Under Uncertainty: Beyond Probabilities.
CoRR
Thom Badings, Thiago D. Simão, Marnix Suilen, Nils Jansen
2023 J jnl
Decision-making under uncertainty: beyond probabilities.
Int. J. Softw. Tools Technol. Transf.
Thom Badings, Thiago D. Simão, Marnix Suilen, Nils Jansen
2023 J jnl
More for Less: Safe Policy Improvement With Stronger Performance Guarantees.
CoRR
Patrick Wienhöft, Marnix Suilen, Thiago D. Simão, Clemens Dubslaff, Christel Baier, Nils Jansen
2023 A* conf
More for Less: Safe Policy Improvement with Stronger Performance Guarantees.
IJCAI
Patrick Wienhöft, Marnix Suilen, Thiago D. Simão, Clemens Dubslaff, Christel Baier, Nils Jansen
2023 A* conf
Safe Policy Improvement for POMDPs via Finite-State Controllers.
AAAI
Thiago D. Simão, Marnix Suilen, Nils Jansen
2023 J jnl
Safe Policy Improvement for POMDPs via Finite-State Controllers.
CoRR
Thiago D. Simão, Marnix Suilen, Nils Jansen
2022 A* conf
Robust Anytime Learning of Markov Decision Processes.
NeurIPS
Marnix Suilen, Thiago D. Simão, David Parker, Nils Jansen
2022 J jnl
Robust Anytime Learning of Markov Decision Processes.
CoRR
Marnix Suilen, Thiago D. Simão, Nils Jansen, David Parker
2021 — conf
Balancing Wind and Batteries: Towards Predictive Verification of Smart Grids.
NFM
Thom S. Badings, Arnd Hartmanns, Nils Jansen, Marnix Suilen
2021 J jnl
Balancing Wind and Batteries: Towards Predictive Verification of Smart Grids.
CoRR
Thom S. Badings, Arnd Hartmanns, Nils Jansen, Marnix Suilen
2021 A* conf
Robust Finite-State Controllers for Uncertain POMDPs.
AAAI
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Ahmadreza Marandi, Marnix Suilen, Ufuk Topcu
2020 J jnl
Robust Finite-State Controllers for Uncertain POMDPs.
CoRR
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Ahmadreza Marandi, Marnix Suilen, Ufuk Topcu
2020 J jnl
Robust Policy Synthesis for Uncertain POMDPs via Convex Optimization
CoRR
Marnix Suilen, Nils Jansen, Murat Cubuktepe, Ufuk Topcu
2020 A* conf
Robust Policy Synthesis for Uncertain POMDPs via Convex Optimization.
IJCAI
Marnix Suilen, Nils Jansen, Murat Cubuktepe, Ufuk Topcu