@inproceedings{1089,
  author = {Ulices Cruz and Yasser Shoukry},
  title = {Certified Vision-Based State Estimation for Autonomous Landing Systems Using Reachability Analysis},
  year = {2023},
  journal = {2023 62nd IEEE Conference on Decision and Control (CDC)},
  chapter = {6052},
  pages = {6},
  month = {12},
  publisher = {IEEE},
  isbn = {979-8-3503-0124-3},
  url = {https://par.nsf.gov/biblio/10507113},
  doi = {10.1109/CDC49753.2023.10384107},
}