Verifying Autonomous Systems

Fisher, Michael, Dennis, Louise ORCID: 0000-0003-1426-1896 and Webster, Matt ORCID: 0000-0002-8817-6881
(2013) Verifying Autonomous Systems. COMMUNICATIONS OF THE ACM, 56 (9). pp. 84-93.

Access the full-text of this item by clicking on the Open Access link.


The article discusses how to explore autonomous systems and the agents that control them. Autonomous systems are now being deployed in safety, mission, or business critical scenarios, which means a thorough analysis of the choices the core software might make becomes crucial. Modern household, business, and industrial systems increasingly incorporate autonomy. There are many examples, all varying in the degree of autonomy used, from almost pure human control to fully autonomous activities with minimal human interaction. Application areas are broad, ranging from healthcare monitoring to autonomous vehicles. Rational agents can adapt their autonomous behavior to cater for the dynamic aspects of their environment, their requirements and their knowledge. Typically, they can also modify their decision-making following interactions with their environment. The predominant form of rational agent architecture is that provided through the Beliefs, Desires, and Intentions (BDI) approach.

Item Type: Article
Additional Information: ## TULIP Type: Articles/Papers (Journal) ##
Depositing User: Symplectic Admin
Date Deposited: 28 Apr 2016 10:30
Last Modified: 15 Mar 2024 05:04
DOI: 10.1145/2500468.2494558
Open Access URL:
Related URLs: