JPL Technical Report Server

Verification of Autonomous Systems Using Embedded Behavior Auditors

Show simple item record

dc.contributor.author Dvorak, D. en_US
dc.contributor.author Tailor, E. en_US
dc.date.accessioned 2004-09-25T17:29:51Z
dc.date.available 2004-09-25T17:29:51Z
dc.date.issued 1999-01-31 en_US
dc.identifier.citation Institute for Space and nuclear Power Studies en_US
dc.identifier.citation Albuquerque, New Mexico, U.S.A. en_US
dc.identifier.clearanceno 98-1727 en_US
dc.identifier.uri http://hdl.handle.net/2014/20676
dc.description.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. en_US
dc.format.extent 690229 bytes
dc.format.mimetype application/pdf
dc.language.iso en_US
dc.subject.other verication formal methods embedded behavior auditors en_US
dc.title Verification of Autonomous Systems Using Embedded Behavior Auditors en_US


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search


Browse

My Account