Laura R. Humphrey, Eric M. Wolff, Ufuk Topcu. Formal Specification and Synthesis of Mission Plans for Unmanned Aerial Vehicles. In 2014 AAAI Spring Symposia, Stanford University, Palo Alto, California, USA, March 24-26, 2014. AAAI Press, 2014. [doi]
No references recorded for this publication.
No citations of this publication recorded.