Follow
Marnix Suilen
Title
Cited by
Cited by
Year
Robust finite-state controllers for uncertain POMDPs
M Cubuktepe, N Jansen, S Junges, A Marandi, M Suilen, U Topcu
Proceedings of the AAAI Conference on Artificial Intelligence 35 (13), 11792 …, 2021
262021
Robust policy synthesis for uncertain POMDPs via convex optimization
M Suilen, N Jansen, M Cubuktepe, U Topcu
arXiv preprint arXiv:2001.08174, 2020
172020
Robust anytime learning of Markov decision processes
M Suilen, TD Simão, D Parker, N Jansen
Advances in Neural Information Processing Systems 35, 28790-28802, 2022
132022
Decision-making under uncertainty: beyond probabilities: Challenges and perspectives
T Badings, TD Simão, M Suilen, N Jansen
International Journal on Software Tools for Technology Transfer, 1-17, 2023
62023
Safe policy improvement for POMDPs via finite-state controllers
TD Simão, M Suilen, N Jansen
arXiv preprint arXiv:2301.04939, 2023
32023
More for Less: Safe Policy Improvement With Stronger Performance Guarantees
P Wienhöft, M Suilen, TD Simão, C Dubslaff, C Baier, N Jansen
arXiv preprint arXiv:2305.07958, 2023
22023
Balancing wind and batteries: towards predictive verification of smart grids
TS Badings, A Hartmanns, N Jansen, M Suilen
NASA Formal Methods Symposium, 1-18, 2021
22021
Control, Learning and Adaptation in Information-Constrained, Adversarial Environments
YE Bayiz, S Carr, ES Crafts, M Cubuktepe, F Djeumou, M Ghasemi, ...
2023
Entropy Guided Decision Making in Multiple-Environment Markov Decision Processes
M Suilen
Radboud University, 2020
2020
Reachability properties for uncertain MDPs
M Suilen, N Jansen, M Stoelinga
2018
Anytime Learning and Verification of Uncertain Markov Decision Processes
M Suilen, TD Simão, N Jansen, D Parker
LiVe 2022 6th Workshop on Learning in Verification, 0
The system can't perform the operation now. Try again later.
Articles 1–11