On Robot Games of Degree Two
暂无分享,去创建一个
[1] Julien Reichert,et al. The Complexity of Robot Games on the Integer Line , 2013, QAPL.
[2] M. Rabin. Decidability of second-order theories and automata on infinite trees. , 1969 .
[3] Pierre Wolper,et al. An automata-theoretic approach to branching-time model checking , 2000, JACM.
[4] Krishnendu Chatterjee,et al. Infinite-state games with finitary conditions , 2013, CSL.
[5] Christoph Haase,et al. Integer Vector Addition Systems with States , 2014, RP.
[6] Anton ´ õn Kuÿ. Reachability Games on Extended Vector Addition Systems with States , 2010 .
[7] Robin Milner,et al. On Observing Nondeterminism and Concurrency , 1980, ICALP.
[8] Vincent Danos,et al. Computer Science Logic , 1993, Lecture Notes in Computer Science.
[9] Tero Harju,et al. Weighted Automata on Infinite Words in the Context of Attacker-Defender Games , 2015, CiE.
[10] G. H. Bradley. Algorithms for Hermite and Smith normal matrices and linear Diophantine equations , 1971 .
[11] Thomas A. Henzinger,et al. Alternating-time temporal logic , 2002, JACM.
[12] Julien Reichert. On the Complexity of Counter Reachability Games , 2013, RP.
[13] Igor Walukiewicz. Pushdown Processes: Games and Model-Checking , 2001, Inf. Comput..
[14] Parosh Aziz Abdulla,et al. Deciding Monotonic Games , 2003, CSL.
[15] Tomás Brázdil,et al. Reachability Games on Extended Vector Addition Systems with States , 2010, ICALP.