TY  - RPRT
TI  - Simulation-Based Verification of Autonomous Controllers via Livingstone PathFinder
AU  - Lindsey, A. E.
AU  - Pecheur, Charles
PY  - 2004
UR  - https://ntrs.nasa.gov/citations/20040043677
ID  - 20040043677
ER  -