The paper entield “Multi-Cost-Bounded Reachability Analysis of POMDPs” by Alexander Bork, Joost-Pieter Katoen, Tim Quatmann and Svenja Stein has been accepted for the 41st Conference on Uncertainty in Artificial Intelligence (UAI 2025) in Rio de Janeiro (BR).
The paper presents a general framework to approximate the maximal probability to reach a target while satisfying constraints on the accumulated costs for multiple cost measures in POMDPs.