Strategy Synthesis in POMDPs via Game-Based Abstractions

Leonore Winterer, Sebastian Junges, Ralf Wimmer +4

We study synthesis problems with constraints in partially observable Markov decision processes (POMDPs), where the objective is to compute a strategy for an agent that is guarantee…