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

Learning−based Compositional Verification for Synchronous Probabilistic Systems

L. Feng‚ T. Han‚ M. Kwiatkowska and D. Parker

Institution
Department of Computer Science‚ University of Oxford
Number
RR−11−05
Year
2011

Links

Back to Top