Kush Grover, Jan Kretínský, Tobias Meggendorfer, Maximilian Weininger. Anytime Guarantees for Reachability in Uncountable Markov Decision Processes. In Bartek Klin, Slawomir Lasota 0001, Anca Muscholl, editors, 33rd International Conference on Concurrency Theory, CONCUR 2022, September 12-16, 2022, Warsaw, Poland. Volume 243 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022. [doi]
Abstract is missing.