@misc{indiciaed5f100c8f459,
  title = {Simulation-Based Verification of Autonomous Controllers via Livingstone PathFinder},
  author = {Lindsey, A. E. and Pecheur, Charles},
  year = {2004},
  url = {https://ntrs.nasa.gov/citations/20040043677},
  note = {Source identifier: 20040043677}
}