Verifying Systems of Resource-Bounded Agents

Abstract

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 briefly survey previous work on the verification of multi-agent systems that takes resources into account, and outline some key challenges for future work.

Fields of Logic and Computation III

“…In the table, the 'Idle' column indicates whether the semantics for a logic requires that in every state each agent has an action that produces and consumes no resources. New results not appearing in the previous survey [9] are highlighted in bold.…”

“…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 [9].…”