Brandstätter, A., Smolka, S. A., Stoller, S. D., Tiwari, A., & Grosu, R. (2022). Towards Drone Flocking Using Relative Distance Measurements. In Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning (ISoLA 2022). Proceedings, Part III (pp. 97–109). Springer. https://doi.org/10.1007/978-3-031-19759-8_7