Verification of Autonomous Systems Using Embedded Behavior Auditors

Thr prospect of highly autonomous spacecraft and rovers is exciting for what they can do with onboard decision making, but also troubling for what they might do [improperly] without human-in-the-loop oversight.