Where's Waldo? Sensor-Based Temporal Logic Motion Planning

  title={Where's Waldo? Sensor-Based Temporal Logic Motion Planning},
  author={Hadas Kress-Gazit and Georgios E. Fainekos and George J. Pappas},
  journal={Proceedings 2007 IEEE International Conference on Robotics and Automation},
Given a robot model and a class of admissible environments, this paper provides a framework for automatically and verifiably composing controllers that satisfy high level task specifications expressed in suitable temporal logics. The desired task specifications can express complex robot behaviors such as search and rescue, coverage, and collision avoidance. In addition, our framework explicitly captures sensor specifications that depend on the environment with which the robot is interacting… CONTINUE READING
Highly Influential
This paper has highly influenced 11 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 244 citations. REVIEW CITATIONS

5 Figures & Tables



Citations per Year

245 Citations

Semantic Scholar estimates that this publication has 245 citations based on the available data.

See our FAQ for additional information.