Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Compositional Verification of Probabilistic Systems using Learning

Compositional Verification of Probabilistic Systems using Learning

L. Feng‚ M. Kwiatkowska and D. Parker

Book Title
Proc. 7th International Conference on Quantitative Evaluation of SysTems (QEST'10)
Pages
133–142
Publisher
IEEE CS Press
Year
2010

Links

See Also

Back to Top