首页> 外文OA文献 >Winning concurrent reachability games requires doubly-exponential patience

【2h】

Winning concurrent reachability games requires doubly-exponential patience

机译：赢得并发可及性游戏需要双倍的耐心

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Kristoffer Arnsfelt Hansen; Peter Bro Miltersen et al.;
展开▼
作者单位

展开▼
年度 2009
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. The reachability problem for branching vector addition systems requires doubly-exponential space [J] . Ranko Lazic Information Processing Letters . 2010,第17期

机译：分支向量加法系统的可达性问题需要双指数空间
2. On the determinacy of concurrent games on event structures with infinite winning sets [J] . Julian Gutierrez, Glynn Winskel Journal of computer and system sciences . 2014,第6期

机译：关于具有无限获胜集的事件结构上并发游戏的确定性
3. Additional Winning Strategies in Reachability Games [J] . Malvone Vadim, Murano Aniello, Sorrentino Loredana Fundamenta Informaticae . 2018,第1a2期

机译：可达性游戏中的其他获胜策略
4. The Winning Ways of Concurrent Games [C] . Clairambault Pierre, Gutierrez Julian, Winskel Glynn Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science . 2012

机译：并发游戏的制胜法宝
5. The factors required for winning the business simulation game: A regression analysis. [D] . Andre, Randall S. 2016

机译：赢得业务模拟游戏所需的因素：回归分析。
6. Strategy improvement for concurrent reachability and turn-based stochastic safety games [O] . Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger -1

机译：并发可达性和基于回合的随机安全博弈的策略改进
7. The reachability problem for branching vector addition systems requires doubly-exponential space [O] . Ranko Lazić 2010

机译：分支向量加法系统的可达性问题需要双指数空间
8. Concurrent Reachability Games [R] . Alfaro, L. , Henzinger, T. A. , Kupferman, O. 1998

机译：并发可达性游戏

Winning concurrent reachability games requires doubly-exponential patience

著录项

引文网络

相似文献

相关主题

期刊订阅