Bovy, Eline M.
- Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet
2024/11/18 by Marnix Suilen, Thom Badings, Suilen, Marnix +7 · 7 citations
Business, Management and Accounting · Computer Science · #Business Process Modeling and Analysis #AI-based Problem Solving and Planning
- 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