notesum.ai

Published at November 18

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet

cs.AI
math.OC

Released Date: November 18, 2024

Authors: Marnix Suilen1, Thom Badings1, Eline M. Bovy1, David Parker2, Nils Jansen3

Aff.: 1Radboud University, Nijmegen, The Netherlands; 2University of Oxford, United Kingdom; 3Radboud University, Nijmegen, The Netherlands; Ruhr-University Bochum, Germany

Arxiv: http://arxiv.org/abs/2411.11451v1