Resource Reachability Games on Pushdown Graphs
Resource Reachability Games on Pushdown Graphs
复制标题
下推图上的资源可达性博弈
DOI：
10.1007/978-3-642-54830-7_13
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
Martin Lang
中科院分区：
文献类型：
--
作者：
Martin Lang
我们考虑在竞技场上具有额外资源计数器的两人可达性游戏，这些资源计数器是由下推系统的配置图引起的。对于一场比赛，我们将资源成本定义为出现的最高计数器值。通过这种方式，我们量化了玩家 0 获胜所需的资源和内存。我们引入有界获胜问题：是否存在一个统一的边界k，使得玩家0可以从具有该边界k的一组初始配置中赢得游戏？我们提供了一种有效的、基于饱和的方法来解决初始和目标配置的常规集合的这个问题。
We consider two-player reachability games with additional resource counters on arenas that are induced by the configuration graphs of pushdown systems. For a play, we define the resource cost to be the highest occurring counter value. In this way, we quantify resources and memory that player 0 needs to win. We introduce the bounded winning problem: Is there a uniform boundksuch that player 0 can win the game from a set of initial configurations with this boundk? We provide an effective, saturation-based method to solve this problem for regular sets of initial and goal configurations.
登录
查看更多内容
DOI：
10.1007/978-3-540-45212-6_9
发表时间：
2003
期刊：
--
影响因子：
--
作者：
A. Chakrabarti;L. D. Alfaro;T. Henzinger;Marielle Stoelinga
通讯作者：
A. Chakrabarti;L. D. Alfaro;T. Henzinger;Marielle Stoelinga
有限树上的正则成本函数
DOI：
--
发表时间：
2010
期刊：
2010 25th Annual IEEE Symposium on Logic in Computer Science
影响因子：
--
作者：
Thomas Colcombet;Christof Löding
通讯作者：
Christof Löding
距离沙漠自动机和星高问题
DOI：
--
发表时间：
2005
期刊：
RAIRO - Theoretical Informatics and Applications
影响因子：
--
作者：
D. Kirsten
通讯作者：
D. Kirsten
R自动机
DOI：
--
发表时间：
2008
期刊：
International Conference on Concurrency Theory
影响因子：
--
作者：
P. Abdulla;P. Krcál;W. Yi
通讯作者：
W. Yi