Refining strategic ability in alternating-time temporal logic
type: Item
instance of: scholarly article
title: Refining strategic ability in alternating-time temporal logic
zbMATH Open document ID: 1370.68204
author: Dimitar P. Guelev
published in: Information and Computation
publication date: 2017-05-12T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 03B44
zbMATH DE Number: 6714839
zbMATH Keywords: alternating-time temporal logic
zbMATH Keywords: refinement
zbMATH Keywords: model checking
zbMATH Keywords: proof system
MaRDI profile type: Publication
full work available at URL: j.ic.2016.10.013
OpenAlex ID: W2547876167
cites work: Refinement modal logic
cites work: Q5419886
cites work: Q5692280
cites work: Q4739288
cites work: Abstractions of Multi-agent Systems
cites work: Automatic behavior composition synthesis
cites work: Q4992518
cites work: Reasoning about Actions Meets Strategic Logics
cites work: A Modal Logic for Coalitional Power in Games
cites work: Q3026978
cites work: Strategy Logic
cites work: Reasoning about strategies
DOI: 10.1016/J.IC.2016.10.013
description: scientific article; zbMATH DE number 6714839