Verifiable autonomy: From theory to applications

Louise Dennis; Clare Dixon; Michael Fisher

doi:10.3233/AIC-220115

Verifiable autonomy: From theory to applications

Louise Dennis, Clare Dixon, Michael Fisher

Autonomy and Verification

Research output: Contribution to journal › Article › peer-review

145 Downloads (Pure)

Abstract

The Autonomy and Verification group¹ sits within the Department of Computer Science² 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.

Original language	English
Pages (from-to)	421-431
Number of pages	11
Journal	AI Communications
Volume	35
Issue number	4
DOIs	https://doi.org/10.3233/AIC-220115
Publication status	Published - 20 Sept 2022

Keywords

Formal verification
agent programming
ethical reasoning

Access to Document

10.3233/AIC-220115

A_V_Group__AI_Comms_Accepted author manuscript, 131 KB

Cite this

@article{48e553acc08e4cfe83b59e982955f0f0,

title = "Verifiable autonomy: From theory to applications",

abstract = "The Autonomy and Verification group1 sits within the Department of Computer Science2 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",

author = "Louise Dennis and Clare Dixon and Michael Fisher",

year = "2022",

month = sep,

day = "20",

doi = "10.3233/AIC-220115",

language = "English",

volume = "35",

pages = "421--431",

journal = "AI Communications",

issn = "0921-7126",

publisher = "Sage Publications Ltd",

number = "4",

}

TY - JOUR

T1 - Verifiable autonomy: From theory to applications

AU - Dennis, Louise

AU - Dixon, Clare

AU - Fisher, Michael

PY - 2022/9/20

Y1 - 2022/9/20

N2 - The Autonomy and Verification group1 sits within the Department of Computer Science2 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.

AB - The Autonomy and Verification group1 sits within the Department of Computer Science2 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.

KW - Formal verification

KW - agent programming

KW - ethical reasoning

U2 - 10.3233/AIC-220115

DO - 10.3233/AIC-220115

M3 - Article

SN - 0921-7126

VL - 35

SP - 421

EP - 431

JO - AI Communications

JF - AI Communications

IS - 4

ER -

Verifiable autonomy: From theory to applications

Abstract

Keywords

Access to Document

Fingerprint

Cite this