Negin Moghadasi, Amar Kulkarni, Dustin Crayton, Robert J. Grissom, James H. Lambert, Lu Feng. Formal Methods in Unmanned Aerial Vehicle Swarm Control for Wildfire Detection and Monitoring. In IEEE International Systems Conference, SysCon 2023, Vancouver, BC, Canada, April 17-20, 2023. pages 1-8, IEEE, 2023. [doi]
Abstract is missing.