On Statistical Model Checking of Stochastic Systems

@inproceedings{Sen2005OnSM,
  title={On Statistical Model Checking of Stochastic Systems},
  author={Koushik Sen and Mahesh Viswanathan and Gul A. Agha},
  booktitle={CAV},
  year={2005}
}
Statistical methods to model check stochastic systems have been, thus far, developed only for a sublogic of continuous stochastic logic (CSL) that does not have steady state operators and unbounded until formulas. In this paper, we present a statistical model checking algorithm that also verifies CSL formulas with unbounded untils. The algorithm is based on Monte Carlo simulation of the model and hypothesis testing of the samples, as opposed to sequential hypothesis testing. The use of… CONTINUE READING
Highly Influential
This paper has highly influenced 25 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 266 citations. REVIEW CITATIONS

Citations

Publications citing this paper.
Showing 1-10 of 140 extracted citations

267 Citations

0102030'07'10'13'16
Citations per Year
Semantic Scholar estimates that this publication has 267 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…