[IEEE Proceedings of the 2005, American Control Conference, 2005. - Portland, OR, USA (June 8-10, 2005)] Proceedings of the 2005, American Control Conference, 2005. - Formal techniques for the modelling and validation of a co-operating uav team that uses Dubins set for path planningJeyaraman, S.; Tsourdos, A.; Zbikowski, R.; White, B. · 2005