Sciweavers

Share
2 search results - page 1 / 1
» Where's Waldo? Sensor-Based Temporal Logic Motion Planning
Sort
View
ICRA
2007
IEEE
138views Robotics» more  ICRA 2007»
12 years 8 months ago
Where's Waldo? Sensor-Based Temporal Logic Motion Planning
— 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...
Hadas Kress-Gazit, Georgios E. Fainekos, George J....
CORR
2010
Springer
138views Education» more  CORR 2010»
12 years 1 months ago
Optimal Path Planning under Temporal Logic Constraints
Abstract-- In this paper we present a method for automatically generating optimal robot trajectories satisfying high level mission specifications. The motion of the robot in the en...
Stephen L. Smith, Jana Tumova, Calin Belta, Daniel...
books