Seguir
Marnix Suilen
Título
Citado por
Citado por
Ano
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
92021
Robust policy synthesis for uncertain POMDPs via convex optimization
M Suilen, N Jansen, M Cubuktepe, U Topcu
arXiv preprint arXiv:2001.08174, 2020
92020
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
Robust Anytime Learning of Markov Decision Processes
M Suilen, TD Simão, N Jansen, D Parker
arXiv preprint arXiv:2205.15827, 2022
2022
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
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–7