State of the art in logics for verification of resource-bounded multi-agent systems

Alechina, Natasha; Logan, Brian

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

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 (9-29). Springer. https://doi.org/10.1007/978-3-030-48006-6_2

• Acceptance Date: Feb 17, 2020
• Online Publication Date: May 23, 2020
• Publication Date: 2020
• Deposit Date: May 31, 2020
• Publicly Available Date: May 24, 2021
• Publisher: Springer
• Pages: 9-29
• Series Title: Lecture Notes in Computer Science
• Series Number: 12180
• Series ISSN: 0302-9743
• Book Title: Fields of Logic and Computation III: Essays Dedicated to Yuri Gurevich on the Occasion of his 80th Birthday
• ISBN: 9783030480059
• DOI: https://doi.org/10.1007/978-3-030-48006-6_2
• Public URL: https://nottingham-repository.worktribe.com/output/4545969
• Publisher URL: https://link.springer.com/chapter/10.1007/978-3-030-48006-6_2
• Additional Information: Also part of the Programming and Software Engineering book sub series (LNPSE, volume 12180)