Euclidean Model Checking A Scalable Method for Verifying Quantitative Properties in Probabilistic Systems Download Tags: UIUC License: Creative Commons 2.5 Submitted by Amy Clay on Wed, 12/02/2015 - 13:50