scientific article; zbMATH DE number 7136658
From MaRDI portal
Publication:4972730
DOI10.23638/LMCS-15(3:32)2019zbMath1442.68142arXiv1808.09213MaRDI QIDQ4972730
Julian Gutierrez, Michael Wooldridge, Paul Harrenstein, Giuseppe Perelli
Publication date: 26 November 2019
Full work available at URL: https://arxiv.org/abs/1808.09213
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 (3)
Equilibria for games with combined qualitative and quantitative objectives ⋮ Automated temporal equilibrium analysis: verification and synthesis of multi-player games ⋮ Dependences in strategy logic
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Reasoning about equilibria in game-like concurrent systems
- Results on the propositional \(\mu\)-calculus
- Strategy logic
- A calculus of communicating systems
- Game logic -- an overview
- Extensive games as process models
- Iterated Boolean games
- From model checking to equilibrium checking: reactive modules for rational verification
- A Tool for the Automated Verification of Nash Equilibria in Concurrent Games
- Temporal Logics in Computer Science
- Nash Equilibria in Concurrent Games with Büchi Objectives
- Pure Nash Equilibria in Concurrent Deterministic Games
- Alternating-time temporal logic
- Rational Synthesis
- Coordination Logic
- Algebraic laws for nondeterminism and concurrency
- A Modal Logic for Coalitional Power in Games
- Three logics for branching bisimulation
- Branching time and abstraction in bisimulation semantics
- Equilibria of concurrent games on event structures
- Origins of bisimulation and coinduction
- Game Theory
This page was built for publication:
