Publication [FengHTL20] Modelling and Implementation of Unmanned Aircraft Collision Avoidance Feng, W.; Huang, C.-C.; Turrini, A. and Li, Y. In SETTA, pages 52-69, Springer, Lecture Notes in Computer Science 12153, 2020.Downloads: bibURL: https://doi.org/10.1007/978-3-030-62822-2_4