Formal Specification and Synthesis of Mission Plans for Unmanned Aerial Vehicles - researchr publication

researchr

You are not signed in
Sign in
Sign up

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]

Abstract is missing.

runs on WebDSL