State of the Art in Logics for Verification of Resource-Bounded Multi-Agent Systems.
2020
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 [9].
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
45
References
1
Citations
NaN
KQI