Author:
Hermanns Holger,Krčál Jan,Vester Steen
Publisher
Springer Berlin Heidelberg
Reference34 articles.
1. Baier, C., Größer, M., Bertrand, N.: Probabilistic
$$\omega $$
ω
-automata. J. ACM 59(1), 1 (2012)
2. Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press, Cambridge (2008)
3. Bernstein, D.S., Givan, R., Immerman, N., Zilberstein, S.: The complexity of decentralized control of Markov decision processes. Math. Oper. Res. 27(4), 819–840 (2002)
4. Lecture Notes in Computer Science;A Bertoni,1997
5. Berwanger, D., Kaiser, L.: Information tracking in games on graphs. J. Logic Lang. Inform. 19(4), 395–412 (2010)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Distributed Synthesis in Continuous Time;Lecture Notes in Computer Science;2016