scientific article; zbMATH DE number 7204934

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.

zbMATH Keywords

Nash equilibriummultiagent systemsstrategy logicbisumulation

Mathematics Subject Classification ID

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: