@InProceedings{FKP+12, author={V. Forejt and M. Kwiatkowska and D. Parker and H. Qu and M. Ujma}, title={Incremental Runtime Verification of Probabilistic Systems}, booktitle={Proc. 3rd International Conference on Runtime Verification (RV'12)}, year={2012}, editor={S. Qadeer and S. Tasiran}, pages={314--319}, organization={}, publisher={Springer}, series={LNCS}, volume={7687}, address={}, month={}, note={}, key={} }