Verifiable autonomy: From theory to applications.

The Autonomy and Verification group1 Part of a wider, international, Autonomy and Verification Network of activity: https://autonomy-and-verification.github.io sits within the Department of Computer Science2 https://www.cs.manchester.ac.uk at the University of Manchester. The group has a long history of research into agents and multi-agent systems (both at Manchester and, previously, at the University of Liverpool) particularly in the areas of formal specification and verification, multi-agent programming, ethical agent reasoning, and swarms, teams and organisations. [ABSTRACT FROM AUTHOR]