Augmenting ATL with strategy contexts
type: Item
instance of: scholarly article
title: Augmenting ATL with strategy contexts
zbMATH Open document ID: 1332.68140
author: François Laroussinie
author: Nicolas Markey
published in: Information and Computation
publication date: 2015-12-07T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 03B44
zbMATH DE Number: 6516967
zbMATH Keywords: temporal logics
zbMATH Keywords: games for synthesis
zbMATH Keywords: model checking
zbMATH Keywords: satisfiability
describes a project that uses: MCMAS-SLK
describes a project that uses: CESAR
describes a project that uses: MCMAS
MaRDI profile type: Publication
full work available at URL: j.ic.2014.12.020
OpenAlex ID: W824553004
cites work: Alternating-time temporal logic
cites work: Q5692280
cites work: ATL with Strategy Contexts and Bounded Memory
cites work: Q3388748
cites work: Games with secure equilibria
cites work: Strategy Logic
cites work: Q3336675
cites work: ATL with strategy contexts: expressiveness and model checking
cites work: Quantified CTL: Expressiveness and Model Checking
cites work: Q4781195
cites work: Q4475142
cites work: Recurring Dominoes: Making the Highly Undecidable Highly Understandable
cites work: Reasoning about Actions Meets Strategic Logics
cites work: Model-Checking Iterated Games
cites work: Q4430406
cites work: Many-dimensional modal logics: theory and applications
cites work: Quantified CTL: Expressiveness and Complexity
cites work: Q4992517
cites work: The equational theory of CA3 is undecidable
cites work: What Makes Atl* Decidable? A Decidable Fragment of Strategy Logic
cites work: Reasoning about strategies
cites work: Equilibrium points in n -person games
cites work: Q3940830
cites work: Complexity hierarchies beyond elementary
cites work: On Satisfiability in ATL with Strategy Contexts
cites work: ATL Satisfiability is Indeed EXPTIME-complete
cites work: A Temporal Logic for the Interaction of Strategies
DOI: 10.1016/J.IC.2014.12.020
description: scientific article; zbMATH DE number 6516967