Revelations: A Decidable Class of POMDPs with Omega-Regular Objectives

Open in new window