Provable-Correct Partitioning Approach for Continuous-Observation POMDPs With Special Observation Distributions | IEEE Journals & Magazine | IEEE Xplore