@misc{indiciae6f385d685e4e,
  title = {A Learning-Based Guidance Selection Mechanism for a Formally Verified Sense and Avoid Algorithm},
  author = {Balachandran, Swee and Bajaj, Viren and Feliu, Marco and Munoz, Cesar A. and Consiglio, Maria C.},
  year = {2019},
  url = {https://ntrs.nasa.gov/citations/20200002723},
  note = {Source identifier: 20200002723}
}