@inproceedings{FKP10,
  title = "Compositional Verification of Probabilistic Systems using Learning",
  author = "Lu Feng and Marta Kwiatkowska and David Parker",
  year = "2010",
  booktitle = "Proc. 7th International Conference on Quantitative Evaluation of Systems (QEST'10)",
  month = "September",
  publisher = "IEEE CS Press",
  url = "http://qav.comlab.ox.ac.uk/bibitem.php?key=FKP10",
}