|
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+
|
Items in DSpace are protected by copyright, but are furnished with U.S. government purpose use rights.
|
