Summarising a Framework for the Certification of Reliable Autonomous Systems

Michael Fisher; Bernd-Holger Schlingloff; Viviana Mascardi; M.D. Winikoff; Kristin Yvonne Rozier; N. Yorke-Smith

Summarising a Framework for the Certification of Reliable Autonomous Systems

Michael Fisher, Bernd-Holger Schlingloff, Viviana Mascardi, M.D. Winikoff, Kristin Yvonne Rozier, N. Yorke-Smith

Algorithmics

Research output: Contribution to conference › Abstract › Scientific

56 Downloads (Pure)

Abstract

This extended abstract summarises the contributions from the journal
article Fisher et al.

Original language	English
Pages	1733-1734
Number of pages	2
Publication status	Published - 2021
Event	20th International Conference on Autonomous Agentsand Multiagent Systems - Virtual/online event due to COVID-19 Duration: 3 May 2021 → 7 May 2021 Conference number: 20

Conference

Conference	20th International Conference on Autonomous Agentsand Multiagent Systems
Abbreviated title	AAMAS 2021
Period	3/05/21 → 7/05/21

Keywords

Autonomous Systems
Reliability
Verification

Access to Document

p1733Final published version, 776 KB

http://www.ifaamas.org/Proceedings/aamas2021/pdfs/p1733.pdf

Cite this

@conference{a5892b60b43c417393656b4670734301,

title = "Summarising a Framework for the Certification of Reliable Autonomous Systems",

abstract = "This extended abstract summarises the contributions from the journalarticle Fisher et al.",

keywords = "Autonomous Systems, Reliability, Verification",

author = "Michael Fisher and Bernd-Holger Schlingloff and Viviana Mascardi and M.D. Winikoff and Rozier, {Kristin Yvonne} and N. Yorke-Smith",

year = "2021",

language = "English",

pages = "1733--1734",

note = "20th International Conference on Autonomous Agentsand Multiagent Systems, AAMAS 2021 ; Conference date: 03-05-2021 Through 07-05-2021",

}

TY - CONF

T1 - Summarising a Framework for the Certification of Reliable Autonomous Systems

AU - Fisher, Michael

AU - Schlingloff, Bernd-Holger

AU - Mascardi, Viviana

AU - Winikoff, M.D.

AU - Rozier, Kristin Yvonne

AU - Yorke-Smith, N.

N1 - Conference code: 20

PY - 2021

Y1 - 2021

N2 - This extended abstract summarises the contributions from the journalarticle Fisher et al.

AB - This extended abstract summarises the contributions from the journalarticle Fisher et al.

KW - Autonomous Systems

KW - Reliability

KW - Verification

M3 - Abstract

SP - 1733

EP - 1734

T2 - 20th International Conference on Autonomous Agentsand Multiagent Systems

Y2 - 3 May 2021 through 7 May 2021

ER -

Summarising a Framework for the Certification of Reliable Autonomous Systems

Abstract

Conference

Keywords

Access to Document

Fingerprint

Cite this