@misc{indiciae4cb69ab69092,
  title = {Formal Verification, Distributed Computing, and Path Planning Algorithms},
  author = {Aaron Dutle and Esther Conrad},
  url = {https://ntrs.nasa.gov/citations/20230018303},
  note = {Source identifier: 20230018303}
}