Funder
European Research Council
Subject
Computer Science Applications,Analysis,Control and Systems Engineering
Reference52 articles.
1. Principles of Model Checking;Baier,2008
2. Bisimulation through probabilistic testing;Larsen;Inform. and Comput.,1991
3. Probabilistic simulations for probabilistic processes;Segala;Nordic J. Comput.,1995
4. J. Desharnais, F. Laviolette, M. Tracol, Approximate analysis of probabilistic processes: logic, simulation and games, in: Proceedings of the 5th International Conference on Quantitative Evaluation of System, 2008, pp. 264–273.
5. A. D’Innocenzo, A. Abate, J. Katoen, Robust PCTL model checking, in: Proceedings of the 15th ACM International Conference on Hybrid Systems: Computation and Control, 2012, pp. 275–286.
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献