A Tool for the Automated Verification of Nash Equilibria in Concurrent Games

DOI10.1007/978-3-319-25150-9_34zbMath1471.68157OpenAlexW2396841565MaRDI QIDQ2787450

Julian Gutierrez, Alexis Toumi, Michael Wooldridge

Publication date: 25 February 2016

Published in: Theoretical Aspects of Computing - ICTAC 2015 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-25150-9_34

Mathematics Subject Classification ID

Noncooperative games (91A10) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Agent technology and artificial intelligence (68T42)

Related Items (10)

Imperfect information in reactive modules games ⋮ Automatic verification of concurrent stochastic systems ⋮ Quantitative verification and strategy synthesis for stochastic games ⋮ Reasoning about equilibria in game-like concurrent systems ⋮ Unnamed Item ⋮ From model checking to equilibrium checking: reactive modules for rational verification ⋮ Automated Verification of Concurrent Stochastic Games ⋮ Automated temporal equilibrium analysis: verification and synthesis of multi-player games ⋮ Natural strategic ability ⋮ EAGLE

Uses Software

• Alpaga
• PRISM
• Uppaal
• MCMAS
• PRALINE
• MOCHA
• MCMAS-SLK
• CTLSAT
• Mr. Waffles

This page was built for publication: A Tool for the Automated Verification of Nash Equilibria in Concurrent Games