Publisher
Springer Berlin Heidelberg
Reference12 articles.
1. Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), Torino, Italy, September 19-22. IEEE Computer Society (2005)
2. Lecture Notes in Computer Science;M. AlTurki,2011
3. Chadha, R., Korthikanti, V.A., Viswanathan, M., Agha, G., Kwon, Y.: Model checking mdps with a unique compact invariant set of distributions. In: QEST, pp. 121–130. IEEE Computer Society (2011)
4. Korthikanti, V.A., Viswanathan, M., Agha, G., Kwon, Y.: Reasoning about mdps as transformers of probability distributions. In: QEST, pp. 199–208. IEEE Computer Society (2010)
5. Kwon, Y., Kim, E.: Specification and verification of pharmacokinetic models. In: Advances in Computational Biology. Advances in Experimental Medicine and Biology, vol. 680, pp. 463–472. Springer (2010)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A Survey of Statistical Model Checking;ACM Transactions on Modeling and Computer Simulation;2018-01-31