@misc{indiciae0c5c64f11b73,
  title = {System and Safety Analysis for TaxiNet using SYSAI},
  author = {Yuning He},
  url = {https://ntrs.nasa.gov/citations/20210010589},
  note = {Source identifier: 20210010589}
}