Join Our Newsletter
2 search results - page 1 / 1 » Where's Waldo? Sensor-Based Temporal Logic Motion Planning |
ICRA
2007
IEEE
12 years 8 months ago
2007
IEEE
— 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...
CORR
2010
Springer
12 years 1 months ago
2010
Springer
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...
