دنبال کردن
Marnix Suilen
Marnix Suilen
Postdoctoral Researcher, University of Antwerp
ایمیل تأیید شده در uantwerpen.be - صفحهٔ اصلی
عنوان
نقل شده توسط
نقل شده توسط
سال
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‏
452021
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‏
302022
Robust policy synthesis for uncertain POMDPs via convex optimization‏
M Suilen, N Jansen, M Cubuktepe, U Topcu‏
Proceedings of the Twenty-Ninth International Joint Conference on Artificial …, 2020‏
282020
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‏
162023
Safe policy improvement for POMDPs via finite-state controllers‏
TD Simao, M Suilen, N Jansen‏
Proceedings of the AAAI Conference on Artificial Intelligence 37 (12), 15109 …, 2023‏
132023
More for less: Safe policy improvement with stronger performance guarantees‏
P Wienhöft, M Suilen, TD Simão, C Dubslaff, C Baier, N Jansen‏
Proceedings of the Thirty-Second International Joint Conference on …, 2023‏
62023
Imprecise Probabilities Meet Partial Observability: Game Semantics for Robust POMDPs‏
EM Bovy, M Suilen, S Junges, N Jansen‏
Proceedings of the Thirty-Third International Joint Conference on Artificial …, 2024‏
32024
Robust markov decision processes: A place where AI and formal methods meet‏
M Suilen, T Badings, EM Bovy, D Parker, N Jansen‏
Principles of Verification: Cycling the Probabilistic Landscape: Essays …, 2024‏
22024
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
Pessimistic iterative planning for robust pomdps‏
MFL Galesloot, M Suilen, TD Simão, S Carr, MTJ Spaan, U Topcu, ...‏
arXiv preprint arXiv:2408.08770, 2024‏
12024
A PSPACE Algorithm for Almost-Sure Rabin Objectives in Multi-Environment MDPs‏
M Suilen, M van der Vegt, S Junges‏
35th International Conference on Concurrency Theory, CONCUR 2024, 40:1-40:17, 2024‏
12024
3.7 Robust and Reliable Reinforcement Learning‏
M Suilen‏
Model Learning for Improved Trustworthiness in Autonomous Systems, 33, 2024‏
2024
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
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‏
سیستم در حال حاضر قادر به انجام عملکرد نیست. بعداً دوباره امتحان کنید.
مقاله‌ها 1–16