View in EDS

Verifying Autonomous Systems.

Saved in:
Bibliographic Details
Title: Verifying Autonomous Systems.
Authors: FISHER, MICHAEL, DENNIS, LOUISE, WEBSTER, MATT
Source: Communications of the ACM; Sep2013, Vol. 56 Issue 9, p84-93, 10p, 1 Color Photograph, 1 Diagram
Subject Terms: INTELLIGENT agents, VERIFICATION of computer systems, COMPUTER architecture, INTERFACE circuits, COMPUTER interfaces, AUTOMATION
Abstract: The article discusses ways to analyze and verify autonomous systems. Topics covered include autonomous systems architectures and formal verification for rational agents as the basis for verifying behaviors of autonomous systems, description of the interface to an agent in charge of making decisions within the system, the use of theorems or analysis of the environment to derive properties of the larger system and modification of of environmental properties. It also discusses the reasons behind the increase in autonomy.
Database: Complementary Index
Description
Abstract:The article discusses ways to analyze and verify autonomous systems. Topics covered include autonomous systems architectures and formal verification for rational agents as the basis for verifying behaviors of autonomous systems, description of the interface to an agent in charge of making decisions within the system, the use of theorems or analysis of the environment to derive properties of the larger system and modification of of environmental properties. It also discusses the reasons behind the increase in autonomy.
ISSN:00010782
DOI:10.1145/2500468.2494558