Temporal logic motion planning in unknown environments

A. I. Medina Ayala, S. B. Andersson, C. Belta
2013 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems  
In this paper, we consider a robot motion planning problem from a specification given as a syntactically co-safe linear temporal logic formula over a set of properties known to be satisfied at the regions of an unknown environment. The robot is assumed to be equipped with deterministic motion and accurate sensing capabilities. The environment is assumed to be partitioned into a finite number of identical square cells. By bringing together tools from formal verification, graph theory, and
more » ... sed exploration, we develop an incremental algorithm that makes progress towards satisfying the specification while the robot discovers the environment using its local sensors. We show that the algorithm is sound and complete. We illustrate the feasibility and effectiveness of our approach through a simulated case study.
doi:10.1109/iros.2013.6697120 dblp:conf/iros/AyalaAB13 fatcat:cdw56b2efvfulpccflnvr5t6xu