scientific article; zbMATH DE number 6774217
From MaRDI portal
Publication:5357709
DOI10.4230/LIPIcs.CONCUR.2015.268zbMath1374.68332MaRDI QIDQ5357709
Paul Harrenstein, Julian Gutierrez, Michael Wooldridge
Publication date: 12 September 2017
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Applications of game theory (91A80) (n)-person games, (n>2) (91A06) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (10)
Graded modalities in strategy logic ⋮ Imperfect information in reactive modules games ⋮ Reasoning about equilibria in game-like concurrent systems ⋮ Unnamed Item ⋮ From model checking to equilibrium checking: reactive modules for rational verification ⋮ On the complexity of rational verification ⋮ Automated temporal equilibrium analysis: verification and synthesis of multi-player games ⋮ Multi-player games with LDL goals over finite traces ⋮ Unnamed Item ⋮ Verification of multi-agent systems with public actions against strategy logic
This page was built for publication:
