Author:
Katoen Joost-Pieter,Sher Falak
Publisher
Springer International Publishing
Reference31 articles.
1. Segala, R., Lynch, N.A.: Probabilistic simulations for probabilistic processes. Nordic J. Comput. 2(2), 250–273 (1995)
2. Lecture Notes in Computer Science;G Norman,2004
3. Huth, M.: On finite-state approximants for probabilistic computation tree logic. Theoret. Comput. Sci. 346(1), 113–134 (2005)
4. Delahaye, B., Katoen, J.P., Larsen, K.G., Legay, A., Pedersen, M.L., Sher, F., Wasowski, A.: Abstract probabilistic automata. Inf. Comput. 232, 66–116 (2013)
5. Kattenbelt, M., Kwiatkowska, M.Z., Norman, G., Parker, D.: A game-based abstraction-refinement framework for Markov decision processes. Formal Methods Syst. Des. 36(3), 246–280 (2010)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献