@misc{indiciae418058b00685,
  title = {MLNav: Verifiably Safe, ML-Assisted Path Planning},
  author = {Ono, Hiro and Abcouwer, Neil and Daftry, Shreyansh},
  year = {2022},
  url = {https://ntrs.nasa.gov/citations/20230004728},
  note = {Source identifier: 20230004728}
}