Jump to Content

Numerical vs. statistical probabilistic model checking: An empirical study

Marta Kwiatkowska
Gethin Norman
David Parker
Proceedings of the 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer, Berlin / Heidelberg (2004), pp. 46-60

Abstract

Research Areas