Statistical Verification of Probabilistic Properties with Unbounded Until

  title={Statistical Verification of Probabilistic Properties with Unbounded Until},
  author={H{\aa}kan L. S. Younes and Edmund M. Clarke and Paolo Zuliani},
We consider statistical (sampling-based) solution methods for verifying probabilistic properties with unbounded until. Statistical solution methods for probabilistic verification use sample execution trajectories for a system to verify properties with some level of confidence. The main challenge with properties that are expressed using unbounded until is to ensure termination in the face of potentially infinite sample execution trajectories. We describe two alternative solution methods, each… CONTINUE READING
Highly Cited
This paper has 43 citations. REVIEW CITATIONS
27 Citations
27 References
Similar Papers


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


Publications referenced by this paper.
Showing 1-10 of 27 references

Sequential tests of statistical hypotheses

  • A. Wald
  • Annals of Mathematical Statistics 16(2), 117–186
  • 1945
Highly Influential
4 Excerpts

Model Checking

  • E. M. Clarke, O. Grumberg, D. A. Peled
  • The MIT Press, Cambridge
  • 1999
Highly Influential
15 Excerpts

On the asymptotic theory of fixed-width sequential confidence intervals for the mean

  • Y. S. Chow, H. Robbins
  • Annals of Mathematical Statistics 36(2), 457–462
  • 1965
Highly Influential
4 Excerpts

Similar Papers

Loading similar papers…