technical report A Survey on Approximating Methods for Quantitative Model Checking


Abstract

The paper is a survey that follows the idea of using approximated methods for quantitative Model Checking. The paper focuses mainly on Monte Carlo algorithms used to solve model checking problems for stochastic systems



Paper Details

Authors

R. Mardare

Download

/var/papers/TR/TR-14-2009.pdf

Language

English
.