We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
Verifiable autonomy: From theory to applications.
- Authors
Dennis, Louise; Dixon, Clare; Fisher, Michael; Albrecht, Stefano V.; Woolridge, Michael
- Abstract
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.
- Subjects
UNIVERSITY of Liverpool; UNIVERSITY of Manchester; MORAL reasoning; MULTIAGENT systems
- Publication
AI Communications, 2022, Vol 35, Issue 4, p421
- ISSN
0921-7126
- Publication type
Article
- DOI
10.3233/AIC-220115