Computing the Reachability Value of Posterior-Deterministic POMDPs

arXiv:2602.07473v2 Announce Type: replace Abstract: Partially observable Markov decision processes (POMDPs) are a fundamental model for sequential decision-making under uncertainty. However, many verification and synthesis problems for POMDPs are undecidable or intractable. Most prominently, the...