Verifiable autonomy: From theory to applications

The Autonomy and Verification group(1) sits within the Department of Computer Science(2) 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.