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]
@inproceedings{MoghadasiKCGLF23,
title = {Formal Methods in Unmanned Aerial Vehicle Swarm Control for Wildfire Detection and Monitoring},
author = {Negin Moghadasi and Amar Kulkarni and Dustin Crayton and Robert J. Grissom and James H. Lambert and Lu Feng},
year = {2023},
doi = {10.1109/SysCon53073.2023.10131075},
url = {https://doi.org/10.1109/SysCon53073.2023.10131075},
researchr = {https://researchr.org/publication/MoghadasiKCGLF23},
cites = {0},
citedby = {0},
pages = {1-8},
booktitle = {IEEE International Systems Conference, SysCon 2023, Vancouver, BC, Canada, April 17-20, 2023},
publisher = {IEEE},
isbn = {978-1-6654-3994-7},
}