Model-checking iterated games
type: Item
instance of: scholarly article
title: Model-checking iterated games
zbMATH Open document ID: 1380.68275
author: Chung-Hao Huang
author: Sven Schewe
author: Farn Wang
published in: Acta Informatica
publication date: 2017-10-26T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 03B44
zbMATH DE Number: 6798468
describes a project that uses: MOCHA
describes a project that uses: MCMAS
describes a project that uses: SPIN
describes a project that uses: MCMAS-SLK
MaRDI profile type: Publication
full work available at URL: s00236-016-0277-y
OpenAlex ID: W2508278716
cites work: Complete Proof System for QPTL
cites work: Alternating-time temporal logic
cites work: A survey of stochastic \(\omega \)-regular games
cites work: Definability in the monadic second-order theory of successor
cites work: ATL with Strategy Contexts and Bounded Memory
cites work: Solving Sequential Conditions by Finite-State Strategies
cites work: Strategy logic
cites work: Q3336675
cites work: Coordination Logic
cites work: Number of quantifiers is better than number of tape cells
cites work: Q4952307
cites work: An automata-theoretic approach to branching-time model checking
cites work: Augmenting ATL with strategy contexts
cites work: ATL with strategy contexts: expressiveness and model checking
cites work: What Makes Atl* Decidable? A Decidable Fragment of Strategy Logic
cites work: On the Boundary of Behavioral Strategies
cites work: Reasoning about strategies
cites work: Simulating alternating tree automata by nondeterministic automata: New results and new proofs of the theorems of Rabin, McNaughton and Safra
cites work: A Generic Constructive Solution for Concurrent Games with Expressive Constraints on Strategies
cites work: Solving Parity Games in Big Steps
cites work: ATL* Satisfiability Is 2EXPTIME-Complete
cites work: Provably Difficult Combinatorial Games
cites work: Alternating tree automata, parity games, and modal \(\mu\)-calculus
DOI: 10.1007/S00236-016-0277-Y
description: scientific article; zbMATH DE number 6798468