Incremental temporal logic synthesis of control policies for robots interacting with dynamic agents

Original manuscript March 6, 2012

Bibliographic Details
Main Authors:	Wongpiromsarn, Tichakorn, Ulusoy, Alphan, Belta, Calin, Frazzoli, Emilio, Rus, Daniela L.
Other Authors:	Massachusetts Institute of Technology. Department of Aeronautics and Astronautics
Format:	Article
Language:	en_US
Published:	Institute of Electrical and Electronics Engineers (IEEE) 2013
Online Access:	http://hdl.handle.net/1721.1/81481 https://orcid.org/0000-0001-5473-3566 https://orcid.org/0000-0002-0505-1400

Internet