Temporal logic motion planning using POMDPs with parity objectives
Mária Svoreňová, Martin Chmelík, Kevin Leahy, Hasan Ferit Enişer, Krishnendu Chatterjee, Ivana Černá, Calin A. Belta · 2015
We consider a case study of the problem of deploying an autonomous air vehicle in a partially observable, dynamic, indoor environment from a specification given as a linear temporal logic (LTL) formula over regions of interest. We model the motion and sensing capabilities of the vehicle as a partially observable Markov decision process (POMDP). We adapt recent results for solving POMDPs with parity objectives to generate a control policy. We also extend the existing framework with a policy minimization technique to obtain a better implementable policy, while preserving its correctness. The proposed techniques are illustrated in an experimental setup involving an autonomous quadrotor performing surveillance in a dynamic environment.