James A. Douthwaite, Lyudmila S. Mihaylova, Sandor M. Veres. Enhancing Autonomy in VTOL Aircraft Based on Symbolic Computation Algorithms. In Lyuba Alboul, Dana D. Damian, Jonathan M. M. Aitken, editors, Towards Autonomous Robotic Systems - 17th Annual Conference, TAROS 2016, Sheffield, UK, June 26 - July 1, 2016, Proceedings. Volume 9716 of Lecture Notes in Computer Science, pages 99-110, Springer, 2016. [doi]
Abstract is missing.