TY - GEN
T1 - EVE: A Tool for Temporal Equilibrium Analysis
AU - Gutierrez, Julian
AU - Najib, Muhammad
AU - Perelli, Giuseppe
AU - Wooldridge, Michael
N1 - Funding Information:
Acknowledgments. The authors acknowledge with gratitude the financial support of the ERC Advanced Investigator Grant 291528 (“RACE”) at Oxford. Muhammad Najib is supported by the Indonesian Endowment Fund for Education (LPDP).
Publisher Copyright:
© 2018, Springer Nature Switzerland AG.
PY - 2018
Y1 - 2018
N2 - We present EVE (Equilibrium Verification Environment), a formal verification tool for the automated analysis of temporal equilibrium properties of concurrent and multi-agent systems. In EVE, systems are modelled using the Simple Reactive Module Language (SRML) as a collection of independent system components (players/agents in a game) and players’ goals are expressed using Linear Temporal Logic (LTL) formulae. EVE can be used to automatically check the existence of pure strategy Nash equilibria in such concurrent and multi-agent systems and to verify which temporal logic properties are satisfied in the equilibria.
AB - We present EVE (Equilibrium Verification Environment), a formal verification tool for the automated analysis of temporal equilibrium properties of concurrent and multi-agent systems. In EVE, systems are modelled using the Simple Reactive Module Language (SRML) as a collection of independent system components (players/agents in a game) and players’ goals are expressed using Linear Temporal Logic (LTL) formulae. EVE can be used to automatically check the existence of pure strategy Nash equilibria in such concurrent and multi-agent systems and to verify which temporal logic properties are satisfied in the equilibria.
UR - http://www.scopus.com/inward/record.url?scp=85054785579&partnerID=8YFLogxK
UR - https://ora.ox.ac.uk/objects/uuid:4275d79a-e627-46ee-bf56-4cb240499be3/files/m82ebe96effb7399714c9608dde46afdd
U2 - 10.1007/978-3-030-01090-4_35
DO - 10.1007/978-3-030-01090-4_35
M3 - Conference contribution
AN - SCOPUS:85054785579
SN - 9783030010898
T3 - Lecture Notes in Computer Science
SP - 551
EP - 557
BT - Automated Technology for Verification and Analysis. ATVA 2018
A2 - Wang, Chao
A2 - Lahiri, Shuvendu K.
PB - Springer
T2 - 16th International Symposium on Automated Technology for Verification and Analysis 2018
Y2 - 7 October 2018 through 10 October 2018
ER -