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

Original manuscript March 6, 2012

Bibliographic Details
Main Authors: Wongpiromsarn, Tichakorn (Author), Ulusoy, Alphan (Author), Belta, Calin (Author), Frazzoli, Emilio (Contributor), Rus, Daniela L. (Contributor)
Other Authors: Massachusetts Institute of Technology. Department of Aeronautics and Astronautics (Contributor), Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science (Contributor)
Format: Article
Language:English
Published: Institute of Electrical and Electronics Engineers (IEEE), 2013-10-23T15:43:55Z.
Subjects:
Online Access:Get fulltext