The paper “Search and Explore: Symbiotic Policy Synthesis in POMDPs” by Roman Andruishchenko (Brno University of Technology), Alexander Bork, Milan Češka (Brno University of Technology), Sebastian Junges (Radboud University), Joost-Pieter Katoen, and Filip Macák (Brno University of Technology) has been accepted in Formal Methods in System Design (Special Issue CAV 2023). The paper presents a […]

The paper entitled “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 […]