Online Reachability Analysis and Space Convexification for Autonomous Racing (bibtex)

by Sergiy Bogomolov, Taylor T. Johnson, Diego Manzanas Lopez, Patrick Musau and Paulius Stankaitis

Reference:

Sergiy Bogomolov, Taylor T. Johnson, Diego Manzanas Lopez, Patrick Musau and Paulius Stankaitis, "Online Reachability Analysis and Space Convexification for Autonomous Racing", In 5th International Workshop on Formal Methods for Autonomous Systems (FMAS'23), EPTCS, pp. 95–112, 2023.

Bibtex Entry:

@inproceedings{bogomolov2023fmas,
  title = {Online Reachability Analysis and Space Convexification for Autonomous Racing},
  author = {Sergiy Bogomolov and Taylor T. Johnson and Diego Manzanas Lopez and Patrick Musau and Paulius Stankaitis},
  year = {2023},
  month = nov,
  booktitle = {5th International Workshop on Formal Methods for Autonomous Systems (FMAS'23)},
  volume = {395},
  pages = {95--112},
  publisher = {EPTCS},
  doi = {10.4204/EPTCS.395.7},
  keywords = {reachability, verification},
  publabel = {W28},
  pubtype = {W},
  arxiv = {2311.09781},
  dblp = {journals/corr/abs-2311-09781},
  s2id = {265220701},
  pdf = "research/bogomolov2023fmas.pdf",
}