On the Validation of a UAV Collision Avoidance System Developed by Model-Based Optimization: Challenges and a Tentative Partial Solution

Xueyi Zou, Rob Alexander, John McDermid. On the Validation of a UAV Collision Avoidance System Developed by Model-Based Optimization: Challenges and a Tentative Partial Solution. In 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, DSN Workshops 2016, Toulouse, France, June 28 - July 1, 2016. pages 192-199, IEEE Computer Society, 2016. [doi]

Authors

Xueyi Zou

This author has not been identified. Look up 'Xueyi Zou' in Google

Rob Alexander

This author has not been identified. Look up 'Rob Alexander' in Google

John McDermid

This author has not been identified. Look up 'John McDermid' in Google