Title

Perturbation analysis of stochastic systems with empirical distribution parameters

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.

Please refer to publisher version or contact your library.

Share

COinS