Sertac Karaman, Steven Rasmussen, Derek B. Kingston, Emilio Frazzoli. Specification and planning of UAV missions: a Process Algebra approach. In American Control Conference, ACC 2009. St. Louis, Missouri, USA, June 10-12, 2009. pages 1442-1447, IEEE, 2009. [doi]
Abstract is missing.