Using Simulation, Fault Injection and Property-Based Testing to Evaluate Collision Avoidance of a Quadcopter System
Benjamin Vedder
◽
Jonny Vinter
◽
Magnus Jonsson
Gang Wang
◽
Tuo Shen
◽
Xiaoqing Zeng
2010 ◽
Vol E93-A
(4)
◽
pp. 679-688
◽
Tomotaka WADA
◽
Yuki NAKANISHI
◽
Ryohta YAMAGUCHI
◽
Kazushi FUJIMOTO
◽
Hiromi OKADA
2011 ◽
Vol E94-A
(1)
◽
pp. 410-419
Tomotaka WADA
◽
Shinji NAKAI
◽
Tetsuya MARUOKA
◽
Haokun WANG
◽
Hiromi OKADA
Chanho. Ko
◽
Seungho. Han
◽
Minseong. Choi
◽
Kyung-Soo. Kim
John Hannah
◽
Robert Mills
◽
Richard Dill
Mayssa Ghribi
◽
Aref Meddeb