摘要
R.Alur、T.Henzinger和O.Kupferman。 交替时间时序逻辑。 JACM，49（5）：672--713，2002年。 谷歌学者 
数字图书馆 
B.Aminof、F.Mogavero和A.Murano。 层次系统综合。 SCP，83:56--792014年。 谷歌学者 数字图书馆 B.Aminof和O.Kupferman以及A.Murano。 改进了分层系统的模型检查。 信息计算。， 210:68--86, 2012. 谷歌学者 数字图书馆 D.伯旺格。 无限游戏中的可接纳性。 在STACS’07中，LNCS 4393，第188-199页。 施普林格，2007年。 谷歌学者 数字图书馆 P.Cermak、A.Lomuscio和A.Murano。 根据单目标策略逻辑规范验证和合成多智能体系统。 AAAI'15，第2038-2044页，2015年。 谷歌学者 数字图书馆 K.Chatterjee、L.D.Alfaro和T.Henzinger。 数量并发平价游戏的复杂性。 在SODA’06中，第678页至第687页，2006年。 谷歌学者 数字图书馆 K.Chatterjee、L.D.Alfaro和T.A.Henzinger。 定性并行平价游戏。 TOCL，12（4）：282011年。 谷歌学者 数字图书馆 K.Chatterjee、L.Doyen、T.Henzinger和J.-F.Raskin。 广义平均回报与能源博弈。 在FSTTCS’10，LIPIcs 8，第505--516页。 莱布尼茨-中央情报局，2010年。 谷歌学者 K.Chatterjee、T.Henzinger和M.Jurdzinski。 平均收益平价博弈。 在LICS’05中，第178-187页。 IEEE计算机学会，2005年。 谷歌学者 数字图书馆 K.Chatterjee、T.Henzinger和N.Piterman。 战略逻辑。 信息与计算，208（6）：677-6932010。 谷歌学者 数字图书馆 K.查特吉和T.A.亨辛格。 随机ω-正则对策综述。 《计算机与系统科学杂志》，78（2）：394-4132012。 谷歌学者 数字图书馆 伊斯基和T.Henzinger。 定量随机平价博弈。 在SODA'04中，第121-130页，2004年。 谷歌学者 数字图书馆 E.克拉克和E.爱默生。 使用分支时间时序逻辑设计和合成同步骨架。 在LP’81中，LNCS 131，第52-71页。 施普林格，1981年。 谷歌学者 数字图书馆 E.Clarke、O.Grumberg和D.Peled。 模型检查。 麻省理工学院出版社，2002年。 谷歌学者 E.爱默生和C.朱特拉。 树自动机和程序逻辑的复杂性（扩展抽象）。 在FOCS’88中，第328--337页。 IEEE计算机学会，1988年。 谷歌学者 数字图书馆 O.Friedmann。 奇偶博弈的递归算法需要指数时间。 RAIRO-理论信息学与应用，45（04）：449-4572011。 谷歌学者 交叉引用 
O.Friedmann和M.Lange。 在实践中解决平价游戏。 在ATVA’09中，LNCS 5799，第182-196页。 施普林格，2009年。 谷歌学者 数字图书馆 D.Harel和A.Pnueli。 关于无功系统的发展。 斯普林格，1985年。 谷歌学者 交叉引用 P.Hoffmann和M.Luttenberger。 在GPU上解决平价游戏。 在ATVA’13中，第455-459页。 施普林格，2013年。 谷歌学者 W.Jamroga和J.Dix。 代理是否使模型检查爆炸（通过计算）？ 在CEEMAS’15中，LNCS 3690，第398-407页。 斯普林格，2005年。 谷歌学者 数字图书馆 W.Jamroga和A.Murano。 关于模块检查和策略。 AAMAS’14，第701-708页。 IFAAMAS，2014年。 谷歌学者 数字图书馆 W.Jamroga和A.Murano。 战略能力模块检查。 在AAMAS’15中，第227-235页。 IFAAMAS，2015年。 谷歌学者 数字图书馆 尤尔金斯基（M.Jurdzinski）。 在平价游戏中，决定胜利者的方式是合作。 信息处理。 莱特。， 68(3):119--124, 1998. 谷歌学者 数字图书馆 尤尔金斯基（M.Jurdzinski）。 解决平价游戏的小进度措施。 在STACS’00中，LNCS 1770，第290-301页。 斯普林格，2000年。 谷歌学者 数字图书馆 M.Jurdzinski、M.Paterson和U.Zwick。 求解奇偶博弈的确定性次指数算法。 SIAM J.计算。， 38(4):1519--1532, 2008. 谷歌学者 数字图书馆 O.Kupferman、M.Vardi和P.Wolper。 分支时间模型检查的自动机理论方法。 JACM，47（2）：312--3602000年。 谷歌学者 数字图书馆 O.Kupferman、M.Vardi和P.Wolper。 模块检查。 信息与计算，164（2）：322--3442001。 谷歌学者 数字图书馆 O.Kupferman和M.Y.Vardi。 弱交替自动机和树自动机为空。 在STOC'98中，第224--233页。 ACM，1998年。 谷歌学者 数字图书馆 F.Laroussinie和N.Markey。 用战略背景扩充atl。 信息与计算，245:98-1232015。 谷歌学者 数字图书馆 F.Laroussinie、N.Markey和G.Oreiby。 关于atl的表达性和复杂性。 LMCS，4（2）：1--25，2008年。 谷歌学者 A.Lopes、F.Laroussinie和N.Markey。 策略背景下的ATL：表达性和模型检查。 在FSTTCS’10，LIPIC第8页，第120-132页。 莱布尼茨-中央情报局，2010年。 谷歌学者 F.Mogavero、A.Murano、G.Perelli和M.Vardi。 关于策略的推理：关于模型检验问题。 TOCL，15（4）：34:1--422014年。 谷歌学者 数字图书馆 F.Mogavero、A.Murano和M.Vardi。 关于策略的推理。 在FSTTCS’10中，LIPIcs 8，第133-144页。 莱布尼茨-中央情报局，2010年。 谷歌学者 C.H.帕帕迪米特里奥。 计算复杂性。 约翰·威利父子有限公司，2003年。 谷歌学者 数字图书馆 J.Queille和J.Sifakis。 Cesar并发程序的规范和验证。 在SP'81中，LNCS 137，第337--351页。 施普林格，1981年。 谷歌学者 数字图书馆 S.Schewe。 大步解决平价游戏。 在FSTTCS’07中，LNCS 4855，第449-460页。 施普林格，2007年。 谷歌学者 数字图书馆 A.D.Stasio、A.Murano、V.Prignano和L.Sorrentino。 用scala解决平价游戏。 在FACS’14中，LNCS 8997，第145-161页。 斯普林格，2015年。 谷歌学者 交叉引用 W·托马斯。 无限的游戏和验证。 在CAV’02中，第58-64页。 斯普林格，2002年。 谷歌学者 数字图书馆 M.Yannakakis和K.Etessami。 递归并发随机博弈。 《计算机科学中的逻辑方法》，2008年4月。 谷歌学者 W.齐埃隆卡。 有限色图上的无限对策及其在无穷树自动机中的应用。 TCS，200（1-2）：135-1831998。 谷歌学者 数字图书馆
建议
关于平价博弈的复杂性 VoCS'08:2008年计算机科学愿景国际会议论文集：BCS国际学术会议 奇偶博弈是模态微积分模型检查问题的基础，经过二十多年的深入研究，其复杂性仍未解决。 社区被分成了相信这个问题的人——众所周知，这个问题是。。。 在平价游戏中赢得核心 LICS’16：第31届ACM/IEEE计算机科学逻辑年会论文集 我们在奇偶博弈中引入了赢核的新概念，并基于赢核近似提出了求解奇偶博弈的确定多项式时间欠近似算法。 此算法的基础是数字属性。。。
