Author:
Buchholz Peter,Hahn Ernst Moritz,Hermanns Holger,Zhang Lijun
Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. Aziz, A., Sanwal, K., Singhal, V., Brayton, R.K.: Model-checking continuous-time Markov chains. ACM Trans. Comput. Log. 1, 162–170 (2000)
2. Baier, C., Haverkort, B.R., Hermanns, H., Katoen, J.P.: Model-checking algorithms for continuous-time Markov chains. IEEE Trans. Software Eng. 29, 524–541 (2003)
3. Howard, R.A.: Dynamic Programming and Markov Processes. John Wiley and Sons, Inc., Chichester (1960)
4. Bertsekas, D.P.: Dynamic Programming and Optimal Control. Athena Scientific, Belmont (2005)
5. Baier, C., Hermanns, H., Katoen, J.P., Haverkort, B.R.: Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes. Theor. Comput. Sci. 345, 2–26 (2005)
Cited by
49 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献