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

type={},
number={RR-11-05},
address={},
month={},
note={},
key={}
}