Partial Solvers for Parity Games: Effective Polynomial-Time Composition
Partial Solvers for Parity Games: Effective Polynomial-Time Composition
复制标题
奇偶游戏的部分求解器：有效的多项式时间组合
DOI：
10.48550/arxiv.1609.04085
复制
发表时间：
2016
期刊：
影响因子：
--
通讯作者：
Ah-Fat Patrick
中科院分区：
文献类型：
--
作者：
Ah-Fat Patrick
登录
查看更多内容
PGSolver 奇偶游戏求解器集合版本 3
DOI：
--
发表时间：
2010
期刊：
影响因子：
--
作者：
Oliver Friedmann;M. Lange
通讯作者：
M. Lange
平价博弈的静态分析：平价下的交替可达性
DOI：
--
发表时间：
2015
期刊：
Semantics, Logics, and Calculi
影响因子：
--
作者：
M. Huth;Jim Huan;Nir Piterman
通讯作者：
Nir Piterman
影响因子：
1.1
作者：
Dietmar Berwanger;E. Grädel;Lukasz Kaiser;Roman Rabinovich
通讯作者：
Roman Rabinovich
DOI：
10.1007/b102065
发表时间：
2004
期刊：
--
影响因子：
--
作者：
Dang Van Hung;Mizuhito Ogawa
通讯作者：
Dang Van Hung;Mizuhito Ogawa
奇偶博弈的有效部分求解器 1
DOI：
--
发表时间：
2016
期刊：
影响因子：
--
作者：
Patrick Ah;M. Huth
通讯作者：
M. Huth