Author:
Abdulla Parosh Aziz,Ciobanu Radu,Mayr Richard,Sangnier Arnaud,Sproston Jeremy
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Abdulla, P.A., Bouajjani, A., d’Orso, J.: Monotonic and downward closed games. J. Logic Comput. 18(1), 153–169 (2008)
2. Abdulla, P.A., Ciobanu, R., Mayr, R., Sangnier, A., Sproston, J.: Qualitative analysis of VASS-induced MDPs. CoRR (2015). abs/1512.08824
3. Abdulla, P.A., Henda, N.B., Mayr, R.: Decisive Markov chains. Logical Meth. Comput. Sci. 3(4) (2007)
4. Lecture Notes in Computer Science;PA Abdulla,2013
5. Baier, C., Katoen, J.-P.: Principles of Model Checking. MIT Press, Cambridge (2008)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献