Computing the Reachability Value of Posterior-Deterministic POMDPs

Nathanaël Fijalkow, Arka Ghosh, Roman Kniazev +2

Partially observable Markov decision processes (POMDPs) are a fundamental model for sequential decision-making under uncertainty. However, many verification and synthesis problems…