Andreas Brandstätter, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari 0001, Radu Grosu. Towards Drone Flocking Using Relative Distance Measurements. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part III. Volume 13703 of Lecture Notes in Computer Science, pages 97-109, Springer, 2022. [doi]
Abstract is missing.