@inproceedings{FHKP11,
  title = "Learning-based Compositional Verification for Synchronous Probabilistic Systems",
  author = "L. Feng and T. Han and M. Kwiatkowska and D. Parker",
  year = "2011",
  booktitle = "Proc. 9th International Symposium on Automated Technology for Verification and Analysis (ATVA'11)",
  note = "To appear",
  pages = "511--521",
  publisher = "Springer",
  series = "LNCS",
  volume = "6996",
}