Imperfect information in reactive modules games
From MaRDI portal
Publication:1641035
DOI10.1016/j.ic.2018.02.023zbMath1395.68188OpenAlexW2791557958WikidataQ130139486 ScholiaQ130139486MaRDI QIDQ1641035
Giuseppe Perelli, Julian Gutierrez, Michael Wooldridge
Publication date: 14 June 2018
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://ora.ox.ac.uk/objects/uuid:7ed8ff96-a8e6-4636-bdc7-01808265d566
Applications of game theory (91A80) Specification and verification (program logics, model checking, etc.) (68Q60) Agent technology and artificial intelligence (68T42)
Related Items (3)
On the complexity of rational verification ⋮ Automated temporal equilibrium analysis: verification and synthesis of multi-player games ⋮ Verification of multi-agent systems with public actions against strategy logic
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A survey of stochastic \(\omega \)-regular games
- Strategy logic
- The complementation problem for Büchi automata with applications to temporal logic
- Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
- Iterated Boolean games
- From model checking to equilibrium checking: reactive modules for rational verification
- On the logic of cooperation and propositional control
- A Tool for the Automated Verification of Nash Equilibria in Concurrent Games
- Logics for Reasoning About Strategic Abilities in Multi-player Games
- Concurrent Games with Ordered Objectives
- Nash Equilibria in Concurrent Games with Büchi Objectives
- Reasoning About Strategies
- Alternating-time temporal logic
- Rational Synthesis
- Coordination Logic
- The complexity of propositional linear temporal logics
- Provably Difficult Combinatorial Games
- Games with a Weak Adversary
- CONCUR 2003 - Concurrency Theory
- Lower bounds for multiplayer noncooperative games of incomplete information
This page was built for publication: Imperfect information in reactive modules games
