Algorithms for minimum-violation planning with formal specifications

Thesis: S.M., Massachusetts Institute of Technology, Department of Aeronautics and Astronautics, 2014.

Bibliographic Details
Main Authors:	Reyes Castro, Luis I. (Luis Ignacio), Tůmová, Jana, Chaudhari, Pratik, Karaman, Sertac
Other Authors:	Emilio Frazzoli.
Format:	Thesis
Language:	eng
Published:	Massachusetts Institute of Technology 2014
Subjects:	Aeronautics and Astronautics.
Online Access:	http://hdl.handle.net/1721.1/90610

Internet

http://hdl.handle.net/1721.1/90610