Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet. - Marnix Suilen; Thom S. Badings; Eline M. Bovy; David Parker 001; Nils Jansen 001 (Principles of Verification (3), 2024)

Imprecise Probabilities Meet Partial Observability: Game Semantics for Robust POMDPs. - Eline M. Bovy; Marnix Suilen; Sebastian Junges; Nils Jansen 001 (IJCAI, 2024)