Formal Methods in Unmanned Aerial Vehicle Swarm Control for Wildfire Detection and Monitoring - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Negin Moghadasi' in GoogleThis author has not been identified. Look up 'Amar Kulkarni' in GoogleThis author has not been identified. Look up 'Dustin Crayton' in GoogleThis author has not been identified. Look up 'Robert J. Grissom' in GoogleThis author has not been identified. Look up 'James H. Lambert' in GoogleThis author has not been identified. Look up 'Lu Feng' in Google

runs on WebDSL