@第{zbMATH05726620条，作者={Chatterjee，Krishnendu和Henzinger，Thomas A.和Piterman，Nir}，标题={策略逻辑}，FJournal={信息与计算}，Journal＝｛Inf.Comput.｝，ISSN={0890-5401}，体积={208}，数字={6}，页码={677--693}，年份={2010}，语言={英语}，DOI={10.1016/j.ic.2009.07.004}，关键词={68Q45,91A05,68T27}，URL={repository.ist.ac.at/56/1/Strategy_logic.pdf}，zbMATH＝{5726620}，Zbl={1205.68197}}