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 | 32 | 2021 |
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 | 22 | 2022 |
Robust policy synthesis for uncertain POMDPs via convex optimization M Suilen, N Jansen, M Cubuktepe, U Topcu arXiv preprint arXiv:2001.08174, 2020 | 22 | 2020 |
Safe policy improvement for POMDPs via finite-state controllers TD Simão, M Suilen, N Jansen Proceedings of the AAAI Conference on Artificial Intelligence 37 (12), 15109 …, 2023 | 11 | 2023 |
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 25 (3), 375-391, 2023 | 10 | 2023 |
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 | 5 | 2023 |
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 | 2 | 2021 |
Control, Learning and Adaptation in Information-Constrained, Adversarial Environments YE Bayiz, S Carr, ES Crafts, M Cubuktepe, F Djeumou, M Ghasemi, ... | | 2023 |
Safe Policy Improvement in POMDPs MR Suilen, TD Simão, N Jansen Delft: TU Delft OPEN Publishing, 2023 | | 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 |
3.7 Robust and Reliable Reinforcement Learning M Suilen Model Learning for Improved Trustworthiness in Autonomous Systems, 33, 0 | | |
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 | | |