Imprecise Probabilities Meet Partial Observability: Game Semantics for Robust POMDPs.
Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024
Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet.
Proceedings of the Principles of Verification: Cycling the Probabilistic Landscape, 2024