@techreport{FHKP11b,
  title = "Learning-based Compositional Verification for Synchronous Probabilistic Systems",
  author = "L. Feng and T. Han and M. Kwiatkowska and D. Parker",
  year = "2011",
  institution = "Department of Computer Science, University of Oxford",
  number = "RR-11-05",
}