Verifiable autonomy

How to cite this record

Bremner, P. (2019) Verifiable autonomy. UWE Bristol,

UWE Harvard citation (for UWE users)

Bremner, P. (2019) Verifiable autonomy. UWE data repository [online]. Available from: [Accessed 07 February 2019].

Project Title

Verifiable autonomy

Brief summary of project

The project examined formal verification methods for autonomous systems. Our specific contribution was designing an architecture for robots that evaluated possible actions against a code of ethics and selected the most appropriate according to that code. The architecture implementation was designed in such a way as to be able to be formally verified, as well as experimentally validated.

Associated Publication Links (UWE Research Repository)


UWE Bristol


Item Type: Dataset
Methodology: In our architecture ethical reasoning is handled by a separate layer, augmenting a typical layered control architecture, ethically moderating the robot actions. It makes use of a simulation-based internal model, and supports proactive, transparent and verifiable ethical reasoning. To do so the reasoning component of the ethical layer uses our Python based Beliefs, Desires, Intentions (BDI) implementation. The declarative logic structure of BDI facilitates both transparency, through logging of the reasoning cycle, and formal verification methods. To experimentally validate the architecture, and demonstrate the capabilities and utility of our ethical black-box recorder, we conducted a series of experiments using NAO robots: one acting as a proxy human and one controlled with our ethical architecture.
Data Collection Time Period: December 2017
Language of the Dataset Collection: English
Creators: Bremner, P.
Additional Team Member: Winfield, A.
UWE Faculty/Department: Faculty of Environment and Technology > Department of Engineering Design and Mathematics
UWE Research Centres/Institutes: Faculty of Environment and Technology > Bristol Robotics Laboratory
Depositing User: Dr P. Bremner
Date Deposited: 07 Feb 2019 09:10
Last Modified: 07 Feb 2019 09:10

Data files

[img] Archive
Available under License Creative Commons Attribution 3.0.

Download (720kB)

Actions (login required)

View Item View Item