State of the Art in Logics for Verification of Resource-Bounded Multi-Agent Systems
Publication date
2020
Authors
Alechina, Natasha
Logan, Brian
Editors
Blass, Andreas
Cégielski, Patrick
Dershowitz, Nachum
Droste, Manfred
Finkbeiner, Bernd
Advisors
Supervisors
Document Type
Part of book
Metadata
Show full item recordCollections
License
taverne
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.
Keywords
Taverne
Citation
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