Optimal planning with temporal logic specifications

Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Mechanical Engineering, 2009. === Includes bibliographical references (p. 117-121). === Most of the current uninhabitated Aerial Vehicles (UAVs) are individually monitored, commanded and controlled by several operators of different exper...

Full description

Bibliographic Details
Main Author: Karaman, Sertac
Other Authors: Emilio Frazzoli.
Format: Others
Language:English
Published: Massachusetts Institute of Technology 2010
Subjects:
Online Access:http://hdl.handle.net/1721.1/50573