高技术通讯2015，Vol.25Issue(10)：895-904,10.DOI:10.3772/j.issn.1002-0470.2015.10-11.005
基于嵌套树的对等博弈应用研究
Study of the parity games application based on nested tree
摘要
关键词
对等博弈/嵌套树/交替树自动机/μ-演算/概要Key words
parity games/nested tree/alternating tree automata/μ-calculus/summary引用本文复制引用
郭婧,徐中伟..基于嵌套树的对等博弈应用研究[J].高技术通讯,2015,25(10):895-904,10.基金项目
国家自然科学基金(61075002),国家科技支撑计划重大项目(2011BAG01B03)和863计划(2012AA112801)资助项目. （61075002）
