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 symbiotic anytime algorithm that tightly integrates a belief-based and an inductive approach for finite-state controller synthesis in POMDPs with total expected reward objectives. It extends the CAV 2023 version of the paper with extended explanations, a tighter integration and a more eleborate experimental evaluation of an extended implementation.