2025
Revelations: A Decidable Class of POMDPs with Omega-Regular Objectives
AAAI 2025technical
Partially observable Markov decision processes (POMDPs) form a prominent model for uncertainty in sequential decision making. We are interested in constructing algorithms with theoretical guarantees to determine whether the agent has a strategy ensuring a given specification with probability 1. This…