scientific article; zbMATH DE number 7204934
From MaRDI portal
Publication:5111630
DOI10.4230/LIPIcs.CONCUR.2017.17zbMath1442.68143MaRDI QIDQ5111630
Paul Harrenstein, Julian Gutierrez, Michael Wooldridge, Giuseppe Perelli
Publication date: 27 May 2020
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Noncooperative games (91A10) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Agent technology and artificial intelligence (68T42)
Related Items (6)
An abstraction-refinement methodology for reasoning about network games ⋮ Unnamed Item ⋮ Cooperative concurrent games ⋮ Unnamed Item ⋮ Automated temporal equilibrium analysis: verification and synthesis of multi-player games ⋮ Verification of multi-agent systems with public actions against strategy logic
Cites Work
- Reasoning about equilibria in game-like concurrent systems
- Strategy logic
- Game logic -- an overview
- Extensive games as process models
- Iterated Boolean games
- Temporal Logics in Computer Science
- Nash Equilibria in Concurrent Games with Büchi Objectives
- Reasoning About Strategies
- Alternating-time temporal logic
- Coordination Logic
- Algebraic laws for nondeterminism and concurrency
- A Modal Logic for Coalitional Power in Games
- Game Theory
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: