TY  - RPRT
TI  - Case Studies in Verifying Spacecraft Autonomy
AU  - Lorraine E Prokop
AU  - Daniel J Dorney
AU  - Martin S Feather
AU  - Stephen B Johnson
UR  - https://ntrs.nasa.gov/citations/20210000362
ID  - 20210000362
ER  -