State of the Art in Logics for Verification of Resource-Bounded Multi-Agent Systems

Natasha Alechina; Brian Logan

doi:10.1007/978-3-030-48006-6_2

State of the Art in Logics for Verification of Resource-Bounded Multi-Agent Systems

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Abstract

Approaches to the verification of multi-agent systems are typically based on games or transition systems defined in terms of states and actions. However such approaches often ignore a key aspect of multi-agent systems, namely that the agents’ actions require (and sometimes produce) resources. We survey previous work on the verification of multi-agent systems that takes resources into account, extending substantially a survey from 2016.

Original language	English
Title of host publication	Fields of Logic and Computation III
Subtitle of host publication	Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday
Editors	Andreas Blass, Patrick Cégielski, Nachum Dershowitz, Manfred Droste, Bernd Finkbeiner
Publisher	Springer
Pages	9-29
Number of pages	21
ISBN (Electronic)	978-3-030-48006-6
ISBN (Print)	978-3-030-48005-9
DOIs	https://doi.org/10.1007/978-3-030-48006-6_2
Publication status	Published - 2020

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	12180
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Access to Document

10.1007/978-3-030-48006-6_2

Alechina-Logan2020_Chapter_StateOfTheArtInLogicsForVerifiFinal published version, 393 KBLicence: Taverne

Cite this

Alechina, N., & Logan, B. (2020). State of the Art in Logics for Verification of Resource-Bounded Multi-Agent Systems. In A. Blass, P. Cégielski, N. Dershowitz, M. Droste, & B. Finkbeiner (Eds.), Fields of Logic and Computation III: Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday (pp. 9-29). (Lecture Notes in Computer Science; Vol. 12180). Springer. https://doi.org/10.1007/978-3-030-48006-6_2

Alechina, Natasha ; Logan, Brian. / State of the Art in Logics for Verification of Resource-Bounded Multi-Agent Systems. Fields of Logic and Computation III: Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday. editor / Andreas Blass ; Patrick Cégielski ; Nachum Dershowitz ; Manfred Droste ; Bernd Finkbeiner. Springer, 2020. pp. 9-29 (Lecture Notes in Computer Science).

@inproceedings{55ed535b428c486291a73b0c69f6e1fe,

title = "State of the Art in Logics for Verification of Resource-Bounded Multi-Agent Systems",

abstract = "Approaches to the verification of multi-agent systems are typically based on games or transition systems defined in terms of states and actions. However such approaches often ignore a key aspect of multi-agent systems, namely that the agents{\textquoteright} actions require (and sometimes produce) resources. We survey previous work on the verification of multi-agent systems that takes resources into account, extending substantially a survey from 2016.",

author = "Natasha Alechina and Brian Logan",

year = "2020",

doi = "10.1007/978-3-030-48006-6_2",

language = "English",

isbn = "978-3-030-48005-9",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "9--29",

editor = "Andreas Blass and Patrick C{\'e}gielski and Nachum Dershowitz and Manfred Droste and Bernd Finkbeiner",

booktitle = "Fields of Logic and Computation III",

}

Alechina, N & Logan, B 2020, State of the Art in Logics for Verification of Resource-Bounded Multi-Agent Systems. in A Blass, P Cégielski, N Dershowitz, M Droste & B Finkbeiner (eds), Fields of Logic and Computation III: Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday. Lecture Notes in Computer Science, vol. 12180, Springer, pp. 9-29. https://doi.org/10.1007/978-3-030-48006-6_2

State of the Art in Logics for Verification of Resource-Bounded Multi-Agent Systems. / Alechina, Natasha ; Logan, Brian.
Fields of Logic and Computation III: Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday. ed. / Andreas Blass; Patrick Cégielski; Nachum Dershowitz; Manfred Droste; Bernd Finkbeiner. Springer, 2020. p. 9-29 (Lecture Notes in Computer Science; Vol. 12180).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - State of the Art in Logics for Verification of Resource-Bounded Multi-Agent Systems

AU - Alechina, Natasha

AU - Logan, Brian

PY - 2020

Y1 - 2020

N2 - Approaches to the verification of multi-agent systems are typically based on games or transition systems defined in terms of states and actions. However such approaches often ignore a key aspect of multi-agent systems, namely that the agents’ actions require (and sometimes produce) resources. We survey previous work on the verification of multi-agent systems that takes resources into account, extending substantially a survey from 2016.

AB - Approaches to the verification of multi-agent systems are typically based on games or transition systems defined in terms of states and actions. However such approaches often ignore a key aspect of multi-agent systems, namely that the agents’ actions require (and sometimes produce) resources. We survey previous work on the verification of multi-agent systems that takes resources into account, extending substantially a survey from 2016.

U2 - 10.1007/978-3-030-48006-6_2

DO - 10.1007/978-3-030-48006-6_2

M3 - Conference contribution

SN - 978-3-030-48005-9

T3 - Lecture Notes in Computer Science

SP - 9

EP - 29

BT - Fields of Logic and Computation III

A2 - Blass, Andreas

A2 - Cégielski, Patrick

A2 - Dershowitz, Nachum

A2 - Droste, Manfred

A2 - Finkbeiner, Bernd

PB - Springer

ER -

Alechina N , Logan B. State of the Art in Logics for Verification of Resource-Bounded Multi-Agent Systems. In Blass A, Cégielski P, Dershowitz N, Droste M, Finkbeiner B, editors, Fields of Logic and Computation III: Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday. Springer. 2020. p. 9-29. (Lecture Notes in Computer Science). doi: 10.1007/978-3-030-48006-6_2

State of the Art in Logics for Verification of Resource-Bounded Multi-Agent Systems

Abstract

Publication series

Access to Document

Fingerprint

Cite this