A survey of requirements for COVID-19 mitigation strategies

Wojciech Jamroga; David Mestel; Peter B. Roenne; Peter Y.A. Ryan; Marjan Skrobot

doi:10.24425/bpasts.2021.137724

A survey of requirements for COVID-19 mitigation strategies

Wojciech Jamroga^*, David Mestel, Peter B. Roenne, Peter Y.A. Ryan, Marjan Skrobot

^*Corresponding author for this work

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

Abstract

The COVID-19 pandemic has influenced virtually all aspects of our lives. Across the world, countries have applied various mitigation strategies, based on social, political, and technological instruments. We postulate that multi-agent systems can provide a common platform to study (and balance) their essential properties. We also show how to obtain a comprehensive list of the properties by “distilling” them from media snippets. Finally, we present a preliminary take on their formal specification, using ideas from multi-agent logics.

Original language	English
Article number	e137724
Journal	Bulletin of the Polish Academy of Sciences: Technical Sciences
Volume	69
Issue number	4
DOIs	https://doi.org/10.24425/bpasts.2021.137724
Publication status	Published - Aug 2021
Externally published	Yes

Keywords

COVID-19
Mitigation strategies
Multi-agent logic
Specification

Access to Document

10.24425/bpasts.2021.137724Licence: CC BY-NC-ND

Cite this

@article{98a4cf4094a14ebba26d62c9e5910981,

title = "A survey of requirements for COVID-19 mitigation strategies",

abstract = "The COVID-19 pandemic has influenced virtually all aspects of our lives. Across the world, countries have applied various mitigation strategies, based on social, political, and technological instruments. We postulate that multi-agent systems can provide a common platform to study (and balance) their essential properties. We also show how to obtain a comprehensive list of the properties by “distilling” them from media snippets. Finally, we present a preliminary take on their formal specification, using ideas from multi-agent logics.",

keywords = "COVID-19, Mitigation strategies, Multi-agent logic, Specification",

author = "Wojciech Jamroga and David Mestel and Roenne, {Peter B.} and Ryan, {Peter Y.A.} and Marjan Skrobot",

note = "Publisher Copyright: {\textcopyright} 2021 The Author(s).",

year = "2021",

month = aug,

doi = "10.24425/bpasts.2021.137724",

language = "English",

volume = "69",

journal = "Bulletin of the Polish Academy of Sciences: Technical Sciences",

issn = "0239-7528",

publisher = "Palac Kultury i Nauki",

number = "4",

}

TY - JOUR

T1 - A survey of requirements for COVID-19 mitigation strategies

AU - Jamroga, Wojciech

AU - Mestel, David

AU - Roenne, Peter B.

AU - Ryan, Peter Y.A.

AU - Skrobot, Marjan

PY - 2021/8

Y1 - 2021/8

N2 - The COVID-19 pandemic has influenced virtually all aspects of our lives. Across the world, countries have applied various mitigation strategies, based on social, political, and technological instruments. We postulate that multi-agent systems can provide a common platform to study (and balance) their essential properties. We also show how to obtain a comprehensive list of the properties by “distilling” them from media snippets. Finally, we present a preliminary take on their formal specification, using ideas from multi-agent logics.

AB - The COVID-19 pandemic has influenced virtually all aspects of our lives. Across the world, countries have applied various mitigation strategies, based on social, political, and technological instruments. We postulate that multi-agent systems can provide a common platform to study (and balance) their essential properties. We also show how to obtain a comprehensive list of the properties by “distilling” them from media snippets. Finally, we present a preliminary take on their formal specification, using ideas from multi-agent logics.

KW - COVID-19

KW - Mitigation strategies

KW - Multi-agent logic

KW - Specification

UR - http://www.scopus.com/inward/record.url?scp=85115100535&partnerID=8YFLogxK

U2 - 10.24425/bpasts.2021.137724

DO - 10.24425/bpasts.2021.137724

M3 - Article

AN - SCOPUS:85115100535

SN - 0239-7528

VL - 69

JO - Bulletin of the Polish Academy of Sciences: Technical Sciences

JF - Bulletin of the Polish Academy of Sciences: Technical Sciences

IS - 4

M1 - e137724

ER -

A survey of requirements for COVID-19 mitigation strategies

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this