Compositional Verification of Probabilistic Systems Using Learning

@article{Feng2010CompositionalVO,
  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},
  year={2010},
  pages={133-142}
}
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

Citations

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

References

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

Similar Papers

Loading similar papers…