Perturbation analysis of stochastic systems with empirical distribution parameters

Authors

Guoxin Su, University of WollongongFollow
David Rosenblum, National University of Singapore

RIS ID

113691

Publication Details

Su, G. & Rosenblum, D. (2014). Perturbation analysis of stochastic systems with empirical distribution parameters. Proceedings of the 36th International Conference on Software Engineering (ICSE 2014) (pp. 311-321). New York: ACM.

Abstract

Probabilistic model checking is a quantitative verification technology for computer systems and has been the focus of intense research for over a decade.