NASA Jet Propulsion Laboratory California Institute of Technology Follow this link to skip to the main content

BEACON eSpace at Jet Propulsion Laboratory >
JPL Technical Report Server >
JPL TRS 1992+ >

Please use this identifier to cite or link to this item: http://hdl.handle.net/2014/20676

Title: Verification of Autonomous Systems Using Embedded Behavior Auditors
Authors: Dvorak, D.
Tailor, E.
Issue Date: 31-Jan-1999
Citation: Institute for Space and nuclear Power Studies
Albuquerque, New Mexico, U.S.A.
Abstract: 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.
URI: http://hdl.handle.net/2014/20676
Appears in Collections:JPL TRS 1992+

Files in This Item:

File SizeFormat
98-1727.pdf674.05 kBAdobe PDFView/Open

Items in DSpace are protected by copyright, but are furnished with U.S. government purpose use rights.

 

Privacy/Copyright Image Policy Beacon Home Contact Us
NASA Home Page + Div 27
+ JPL Space
Site last updated on November 15, 2012.
If you have any comments or suggestions for this web site, please e-mail Alexander Smith or call 4-4202.