@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",
}
@inproceedings{FKP11,
  title = "Automated Learning of Probabilistic Assumptions for Compositional Reasoning",
  author = "L. Feng and M. Kwiatkowska and D. Parker",
  year = "2011",
  booktitle = "Proc. 14th International Conference on Fundamental Approaches to Software Engineering (FASE'11)",
  editor = "D. Giannakopoulou and F. Orejas",
  pages = "2--17",
  publisher = "Springer",
  series = "LNCS",
  volume = "6603",
}
@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",
}
@techreport{RR-09-14,
  title = "Proceedings of the Oxford University Computing Laboratory Student Conference 2009",
  author = "Programme Co-Chairs: Lu Feng and John Lyle and Nicolas Wu",
  year = "2009",
  institution = "OUCL",
  month = "November",
  number = "RR-09-14",
  pages = "33",
}