James Goppert, John C. Gallagher, Inseok Hwang, Eric Matson. Model Checking of a Flapping-Wing Mirco-Air-Vehicle Trajectory Tracking Controller Subject to Disturbances. In Jong-Hwan Kim, Eric T. Matson, Hyun Myung, Peter Xu, Fakhri Karray, editors, Robot Intelligence Technology and Applications 2 - Results from the 2nd International Conference on Robot Intelligence Technology and Applications, RiTA 2013, Denver, Colorado, USA, December 18-20, 2013. Volume 274 of Advances in Intelligent Systems and Computing, pages 531-543, Springer, 2013. [doi]
Abstract is missing.