Marnix Suilen
- Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet
2024/11/18 by Marnix Suilen, Thom Badings, Suilen, Marnix +7 · 8 citations
Business, Management and Accounting · Computer Science · #Business Process Modeling and Analysis #AI-based Problem Solving and Planning
- Robust Anytime Learning of Markov Decision Processes
2022/05/31 by Marnix Suilen, Thiago D. Simão, Suilen, Marnix +5 · 3 citations
Computer Science · #Artificial Intelligence (cs.AI) #Bayesian Modeling and Causal Inference #FOS: Computer and information sciences #Formal Methods in Verification #Machine Learning (cs.LG) #Software Reliability and Analysis Research
- More for Less: Safe Policy Improvement With Stronger Performance Guarantees
2023/05/13 by Patrick Wienhöft, Marnix Suilen, Wienhöft, Patrick +9 · 2 citations
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Methods in Verification #Machine Learning (cs.LG) #Machine Learning and Data Classification #Reinforcement Learning in Robotics
- Imprecise Probabilities Meet Partial Observability: Game Semantics for Robust POMDPs
2024/05/08 by Eline M. Bovy, Bovy, Eline M., Marnix Suilen +5 · 2 citations
Computer Science · #Artificial Intelligence (cs.AI) #Bayesian Modeling and Causal Inference #Computer Science and Game Theory (cs.GT) #FOS: Computer and information sciences #Logic, Reasoning, and Knowledge
- Safe Policy Improvement for POMDPs via Finite-State Controllers
2023/01/12 by Thiago D. Simão, Simão, Thiago D., Marnix Suilen +3 · 1 citation
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Reinforcement Learning in Robotics
- Decision-Making Under Uncertainty: Beyond Probabilities
2023/03/10 by Thom Badings, Thiago D. Simão, Badings, Thom +5 · 1 citation
Computer Science · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #Bayesian Modeling and Causal Inference #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Methods in Verification #Machine Learning (cs.LG) #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering