Subject
Applied Mathematics,Computational Theory and Mathematics,Computer Networks and Communications,Theoretical Computer Science
Reference38 articles.
1. Undecidability of two-dimensional robot games;Niskanen,2016
2. Robot games with states in dimension one;Niskanen,2016
3. Alternating-time temporal logic;Alur;J. ACM,2002
4. An automata-theoretic approach to branching-time model checking;Kupferman;J. ACM,2000
5. Pushdown processes: games and model-checking;Walukiewicz;Inf. Comput.,2001
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Integer Weighted Automata on Infinite Words;International Journal of Foundations of Computer Science;2022-10-31
2. Optimizing reachability sets in temporal graphs by delaying;Information and Computation;2022-05
3. Integer Weighted Automata on Infinite Words;Developments in Language Theory;2021