Author:
Akshay S.,Bertrand Nathalie,Haddad Serge,Hélouët Loïc
Publisher
Springer Berlin Heidelberg
Reference11 articles.
1. Lecture Notes in Computer Science;A. Bertoni,1975
2. Canny, J.F.: Some algebraic and geometric computations in PSPACE. In: 20th ACM Symp. on Theory of Computing, pp. 460–467 (1988)
3. Chadha, R., Korthikanti, V., Vishwanathan, M., Agha, G., Kwon, Y.: Model checking MDPs with a unique compact invariant set of distributions. In: QEST 2011 (2011)
4. Doyen, L., Henzinger, T.A., Raskin, J.-F.: Equivalence of labeled Markov chains. Int. J. Found. Comput. Sci. 19(3), 549–563 (2008)
5. Kemeny, J.G., Snell, J.L.: Finite Markov chains. Princeton University Press (1960)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献