Verifiable autonomy: From theory to applications

Issue title: Multi-agent systems research in the United Kingdom

Guest editors: Stefano V. Albrecht and Michael Woolridge

Article type: Research Article

Authors: Dennis, Louise | Dixon, Clare^{; *} | Fisher, Michael

Affiliations: Department of Computer Science, University of Manchester, UK

Correspondence: [*] Corresponding author. E-mail: [email protected].

Abstract: The Autonomy and Verification group11Part of a wider, international, Autonomy and Verification Network of activity: https://autonomy-and-verification.github.io sits within the Department of Computer Science22https://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.

Keywords: Formal verification, agent programming, ethical reasoning

DOI: 10.3233/AIC-220115

Journal: AI Communications, vol. 35, no. 4, pp. 421-431, 2022