Cited By
View all- Aguzzi GViroli M(2025)MacroSwarmScience of Computer Programming10.1016/j.scico.2024.103182239:COnline publication date: 1-Jan-2025
- Zhang MWu RSu KDong YZhang T(2024)Application Scenario Modeling and Verification for Unmanned Aerial Vehicle Swarm2024 IEEE 24th International Conference on Software Quality, Reliability and Security (QRS)10.1109/QRS62785.2024.00043(364-375)Online publication date: 1-Jul-2024
- Kosak OKastenmüller PWanninger CReif W(2024)An Approach for Extended Swarm Formation Flight with Drones: $$\texttt {PROTEASE}^{2.0}$$Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems10.1007/978-3-031-75107-3_16(263-280)Online publication date: 27-Oct-2024
- Show More Cited By