Reasoning about strategies
type: Item
instance of: scholarly article
zbMATH Open document ID: 1245.68138
author: Fabio Mogavero
author: Aniello Murano
author: Moshe Y. Vardi
publication date: 2012-08-29T00:00:00Z
full work available at URL: frontdoor 8cc2.html
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68Q10
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 03B44
zbMATH DE Number: 6073526
zbMATH Keywords: open systems
zbMATH Keywords: multi-agent systems
zbMATH Keywords: verification
zbMATH Keywords: strategy quantifier
zbMATH Keywords: alternating temporal logic
zbMATH Keywords: model-checking
zbMATH Keywords: concurrent game structure
MaRDI profile type: Publication
DOI: 10.4230/LIPICS.FSTTCS.2010.133
title: Reasoning about strategies
description: scientific article; zbMATH DE number 6073526