Compositional Verification of Probabilistic Systems Using Learning

  title={Compositional Verification of Probabilistic Systems Using Learning},
  author={Lu Feng and Marta Z. Kwiatkowska and David Parker},
  journal={2010 Seventh International Conference on the Quantitative Evaluation of Systems},
We present a fully automated technique for compositional verification of probabilistic systems. Our approach builds upon a recently proposed assume-guarantee framework for probabilistic automata, in which assumptions and guarantees are probabilistic safety properties, represented using finite automata. A limitation of this work is that the assumptions need to be created manually. To overcome this, we propose a novel learning technique based on the L* algorithm, which automatically generates… CONTINUE READING
Highly Cited
This paper has 45 citations. REVIEW CITATIONS


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


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

Similar Papers

Loading similar papers…