Formal Methods in Unmanned Aerial Vehicle Swarm Control for Wildfire Detection and Monitoring. - Negin Moghadasi; Amar Kulkarni; Dustin Crayton; Robert J. Grissom; James H. Lambert; Lu Feng 001 (SysCon, 2023)