Suresh Jeyaraman, Antonios Tsourdos, Rafal Zbikowski, Brian A. White. Formal techniques for the modelling and validation of a co-operating UAV team that uses Dubins set for path planning. In American Control Conference, ACC 2005, Portland, OR, USA, 8-10 June, 2005. pages 4690-4695, IEEE, 2005. [doi]
Abstract is missing.