Challenges for Safe Autonomous Flight

Sebastian Scherer. Challenges for Safe Autonomous Flight. In Goran Frehse, Matthias Althoff, editors, ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, collocated with Cyber-Physical Systems Week (CPSWeek) on April 17, 2017 in Pittsburgh, PA, USA. Volume 48 of EPiC Series, pages 1, EasyChair, 2017. [doi]

Abstract

Abstract is missing.