Imperfect information in reactive modules games
type: Item
instance of: scholarly article
title: Imperfect information in reactive modules games
zbMATH Open document ID: 1395.68188
author: Julian Gutiérrez
author: Giuseppe Perelli
author: M. J. Wooldridge
published in: Information and Computation
publication date: 2018-06-14T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68T42
Mathematics Subject Classification ID: 91A80
zbMATH DE Number: 6889876
zbMATH Keywords: games
zbMATH Keywords: temporal logic
zbMATH Keywords: multi-agent systems
zbMATH Keywords: formal verification
describes a project that uses: PRISM
describes a project that uses: MCMAS-SLK
describes a project that uses: EAGLE
describes a project that uses: MCMAS
describes a project that uses: MOCHA
MaRDI profile type: Publication
OpenAlex ID: W2791557958
cites work: Q4205072
cites work: Q3576736
cites work: Nash equilibria in concurrent games with Büchi objectives
cites work: Concurrent Games with Ordered Objectives
cites work: A survey of stochastic \(\omega \)-regular games
cites work: From model checking to equilibrium checking: reactive modules for rational verification
cites work: Coordination Logic
cites work: Q5357709
cites work: Q3395518
cites work: CONCUR 2003 - Concurrency Theory
cites work: The complementation problem for Büchi automata with applications to temporal logic
cites work: Iterated Boolean games
cites work: Q4385542
cites work: On the logic of cooperation and propositional control
cites work: Q5144683
cites work: The complexity of propositional linear temporal logics
cites work: Provably Difficult Combinatorial Games
cites work: Lower bounds for multiplayer noncooperative games of incomplete information
cites work: Q3346126
cites work: Alternating-time temporal logic
cites work: Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
cites work: Strategy logic
cites work: Reasoning About Strategies
cites work: Q5013877
cites work: Logics for Reasoning About Strategic Abilities in Multi-player Games
cites work: Games with a Weak Adversary
cites work: A Tool for the Automated Verification of Nash Equilibria in Concurrent Games
cites work: Rational Synthesis
Wikidata QID: Q130139486
DOI: 10.1016/J.IC.2018.02.023
description: scientific article; zbMATH DE number 6889876