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 Article in proceeding › 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
Pages	9-29
DOIs	https://doi.org/10.1007/978-3-030-48006-6_2
Publication status	Published - 2020
Externally published	Yes

Access to Document

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

Cite this

@inproceedings{739c470134ed4b0f816d1a501819d5d1,

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-48006-6",

pages = "9--29",

booktitle = "Fields of Logic and Computation III",

}

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 Article in proceeding

SN - 978-3-030-48006-6

SN - 978-3-030-48005-9

SP - 9

EP - 29

BT - Fields of Logic and Computation III

ER -

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

Abstract

Access to Document

Fingerprint

Cite this