BibTeX record conf/syscon/MoghadasiKCGLF23

download as .bib file

@inproceedings{DBLP:conf/syscon/MoghadasiKCGLF23,
  author       = {Negin Moghadasi and
                  Amar Kulkarni and
                  Dustin Crayton and
                  Robert J. Grissom and
                  James H. Lambert and
                  Lu Feng},
  title        = {Formal Methods in Unmanned Aerial Vehicle Swarm Control for Wildfire
                  Detection and Monitoring},
  booktitle    = {{IEEE} International Systems Conference, SysCon 2023, Vancouver, BC,
                  Canada, April 17-20, 2023},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/SysCon53073.2023.10131075},
  doi          = {10.1109/SYSCON53073.2023.10131075},
  timestamp    = {Sat, 01 Jul 2023 10:38:33 +0200},
  biburl       = {https://dblp.org/rec/conf/syscon/MoghadasiKCGLF23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics