Compositional Verification of Probabilistic Systems using Learning Lu Feng, Marta Kwiatkowska, David Parker Oxford University Computing Laboratory, Parks Road, Oxford, OX1 3QD Email: {lu.feng, marta.kwiatkowska, david.pa

First Page		Document Content
Date: 2010-08-20 07:50:57		Compositional Verification of Probabilistic Systems using Learning Lu Feng, Marta Kwiatkowska, David Parker Oxford University Computing Laboratory, Parks Road, Oxford, OX1 3QD Email: {lu.feng, marta.kwiatkowska, david.pa Add to Reading List Source URL: qav.comlab.ox.ac.uk Download Document from Source Website File Size: 535,85 KB Share Document on Facebook