Abstract:Partially observable Markov decision processes (POMDPs) provide a flexible representation for real-world decision and control problems. However, POMDPs are notoriously difficult to solve, especially when the state and observation spaces are continuous or hybrid, which is often the case for physical systems. While recent online sampling-based POMDP algorithms that plan with observation likelihood weighting have shown practical effectiveness, a general theory characterizing the approximation error of the particle filtering techniques that these algorithms use has not previously been proposed. Our main contribution is bounding the error between any POMDP and its corresponding finite sample particle belief MDP (PB-MDP) approximation. This fundamental bridge between PB-MDPs and POMDPs allows us to adapt any sampling-based MDP algorithm to a POMDP by solving the corresponding particle belief MDP, thereby extending the convergence guarantees of the MDP algorithm to the POMDP. Practically, this is implemented by using the particle filter belief transition model as the generative model for the MDP solver. While this requires access to the observation density model from the POMDP, it only increases the transition sampling complexity of the MDP solver by a factor of $\mathcal{O}(C)$, where $C$ is the number of particles. Thus, when combined with sparse sampling MDP algorithms, this approach can yield algorithms for POMDPs that have no direct theoretical dependence on the size of the state and observation spaces. In addition to our theoretical contribution, we perform five numerical experiments on benchmark POMDPs to demonstrate that a simple MDP algorithm adapted using PB-MDP approximation, Sparse-PFT, achieves performance competitive with other leading continuous observation POMDP solvers.

PAC statistical model checking of mean payoff in discrete- and continuous-time MDP

PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games

What Are the Odds? Improving the foundations of Statistical Model Checking

Efficient Strategy Iteration for Mean Payoff in Markov Decision Processes

Sound Statistical Model Checking for Probabilities and Expected Rewards

Statistically Model Checking PCTL Specifications on Markov Decision Processes via Reinforcement Learning

Generalized Mean Estimation in Monte-Carlo Tree Search

Probabilistic Alternating-Time <em>µ</em>-Calculus

Sparse tree search optimality guarantees in POMDPs with continuous observation spaces

Simplification of Risk Averse POMDPs with Performance Guarantees

Optimality Guarantees for Particle Belief Approximation of POMDPs

Optimal Sample Complexity for Average Reward Markov Decision Processes

Towards Instance-Optimality in Online PAC Reinforcement Learning

A safe exploration approach to constrained Markov decision processes

Global Algorithms for Mean-Variance Optimization in Markov Decision Processes

General Performance Evaluation for Competitive Resource Allocation Games via Unseen Payoff Estimation

J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report)

Achieving Tractable Minimax Optimal Regret in Average Reward MDPs

Phased Exploration with Greedy Exploitation in Stochastic Combinatorial Partial Monitoring Games

A PAC Learning Algorithm for LTL and Omega-regular Objectives in MDPs

Achieving $\tilde{O}(1/ε)$ Sample Complexity for Constrained Markov Decision Process