Title: | Numerical vs. Statistical Probabilistic Model Checking: An Empirical Study |
---|---|
Links: | Homepage |
Authors: | H{\aa}kan L. S. and Kwiatkowska, Marta and Norman, Gethin, and Parker, David Younes |
Remarks: | |
Topics: |
Bibtex:
@inproceedings{04YKNP, AUTHOR = { Younes, H{\aa}kan L. S. and Kwiatkowska, Marta and Norman, Gethin, and Parker, David }, TITLE = { Numerical vs.\ Statistical Probabilistic Model Checking: An Empirical Study }, BOOKTITLE = { Proceedings of the 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems }, YEAR = { 2004 }, PUBLISHER = { Springer }, PAGES = { 46--60 }, SERIES = { LNCS }, VOLUME = { 2988 }, EDITOR = { Kurt Jensen and Andreas Podelski }, }
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.