TY  - RPRT
TI  - Towards Verification and Validation for Increased Autonomy
AU  - Giannakopoulou, Dimitra
PY  - 2017
UR  - https://ntrs.nasa.gov/citations/20170004836
ID  - 20170004836
ER  -