Yuchao Zhang, Guoqi Li, Juan Zhang. QP Based Framework for Development and Formal Verification of Flight Control Software of UAV. In Hepu Deng, Duoqian Miao, Jingsheng Lei, Fu Lee Wang, editors, Artificial Intelligence and Computational Intelligence - Third International Conference, AICI 2011, Taiyuan, China, September 24-25, 2011, Proceedings, Part I. Volume 7002 of Lecture Notes in Computer Science, pages 1-8, Springer, 2011. [doi]
Abstract is missing.