Verifiable Self-Aware Agent-Based Autonomous Systems

In this article, we describe an approach to autonomous system construction that not only supports self-awareness but also formal verification. This is based on modular construction where the key autonomous decision making is captured within a symbolically described "agent." So, this articl...

Full description

Saved in:

Bibliographic Details
Published in:	Proceedings of the IEEE Vol. 108; no. 7; pp. 1011 - 1026
Main Authors:	Dennis, Louise A., Fisher, Michael
Format:	Journal Article
Language:	English
Published:	New York IEEE 01.07.2020 The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subjects:	Autonomous agents Autonomous automobiles Autonomous systems Autonomy Computer architecture Decision making Drones formal verification Modular construction Modular systems Programming robot programming Robotics Robots Safety Self awareness Testing Verification
ISSN:	0018-9219, 1558-2256
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!