TY  - RPRT
TI  - Verification of Autonomous Systems Using Embedded Behavior Auditors
AU  - Tailor, E.
AU  - Dvorak, D.
PY  - 1999
UR  - https://ntrs.nasa.gov/citations/20210003328
ID  - 20210003328
ER  -