scientific article; zbMATH DE number 7204934
From MaRDI portal
Publication:5111630
DOI10.4230/LIPICS.CONCUR.2017.17zbMATH Open1442.68143MaRDI QIDQ5111630FDOQ5111630
Paul Harrenstein, Julian Gutiérrez, M. J. Wooldridge, Giuseppe Perelli
Publication date: 27 May 2020
Title of this publication is not available (Why is that?)
Noncooperative games (91A10) Agent technology and artificial intelligence (68T42) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Alternating-time temporal logic
- Title not available (Why is that?)
- Coordination Logic
- Algebraic laws for nondeterminism and concurrency
- Title not available (Why is that?)
- A Modal Logic for Coalitional Power in Games
- Title not available (Why is that?)
- Title not available (Why is that?)
- Game Theory
- Reasoning about strategies
- Reasoning About Strategies
- Title not available (Why is that?)
- Iterated Boolean games
- Reasoning about equilibria in game-like concurrent systems
- Strategy logic
- Game logic -- an overview
- Extensive games as process models
- Title not available (Why is that?)
- Temporal logics in computer science. Finite-state systems
- Title not available (Why is that?)
- Nash equilibria in concurrent games with Büchi objectives
- Title not available (Why is that?)
Cited In (6)
- Title not available (Why is that?)
- An abstraction-refinement methodology for reasoning about network games
- Automated temporal equilibrium analysis: verification and synthesis of multi-player games
- Cooperative concurrent games
- Verification of multi-agent systems with public actions against strategy logic
- Title not available (Why is that?)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5111630)
