@InCollection｛zbMATH05528221，作者={Henzinger，Thomas A.和Piterman，Nir}，标题={不确定地解决游戏}，BookTitle={计算机科学逻辑。第20届国际研讨会，CSL 2006，EACSL第15届年会，塞格德，匈牙利，2006年9月25-29日。会议记录。}，国际标准图书编号={978-3-540-45458-8}，页码={395--410}，年份={2006}，出版商={柏林：施普林格}，语言={英语}，DOI={10.1007/11874683_26}，关键词={68Q60,03D05,91A05,91A43}，zbMATH={5528221}，Zbl=｛1225.68118｝}