Publications
See also my DBLP or Google scholar profiles.
Accepted publications:
|
Thom S. Badings, Thiago D. Simão, Marnix Suilen, Nils Jansen. Decision-Making Under Uncertainty: Beyond Probabilities (challenges and perspectives). In STTT (to appear). |
PDF |
Thiago D. Simão, Marnix Suilen, Nils Jansen. Safe Policy Improvement for POMDPs via Finite-State Controllers. In AAAI 2023. |
PDF |
Marnix Suilen, Thiago D. Simão, David Parker, Nils Jansen. Robust Anytime Learning of Markov Decision Processes. In NeurIPS 2022. |
PDF |
Thom S. Badings, Arnd Hartmanns, Nils Jansen, Marnix Suilen. Balancing Wind and Batteries: Towards Predictive Verification of Smart Grids. In NASA Formal Methods Symposium 2021. |
PDF |
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Ahmadreza Marandi, Marnix Suilen, Ufuk Topcu. Robust Finite-State Controllers for Uncertain POMDPs. In AAAI 2021. |
PDF |
Marnix Suilen, Nils Jansen, Murat Cubuktepe, Ufuk Topcu. Robust Policy Synthesis for Uncertain POMDPs via Convex Optimization. In IJCAI 2020. |
Theses:
PDF |
Marnix Suilen, Entropy Guided Decision Making in Multiple-Environment Markov Decision Processes, 2020, master thesis, Radboud University Nijmegen. |
PDF |
Marnix Suilen, Reachability properties for uncertain Markov decision processes, 2018, bachelor thesis, Radboud University Nijmegen. |
Professional activities
Talks and Presentations
Decision-Making and Learning under Uncertainty. ROCKS 2022.
Anytime Learning and Verification of Uncertain Markov Decision Processes. LiVe 2022.
Unraveling Uncertainty in POMDPs. RWTH Aachen, Germany, 2021.
Robust Policies for Uncertain POMDPs. R4P 2021.
Robust Policies for Uncertain POMDPs. FUNCTION 2021.
Robust Policy Synthesis for Uncertain POMDPs via Convex Optimization. IJCAI 2020.
Teaching
As a lecturer:
Model Checking, spring 2022, lectures on bisimulations and POMDPs.
As a teaching assistant:
Mathematical Foundations of Computer Science Seminar, fall 2022.
Model Checking, spring 2022.
Mathematical Foundations of Computer Science Seminar, fall 2021.
Model Checking, spring 2021.
Model Checking, spring 2020.
Algorithms and Datastructures, fall 2019.
Algorithms and Datastructures, fall 2018.
Other
Student volunteer for FORMATS 2020, part of QONFEST 2020.