Using Statistical Model Checking for Measuring Systems.

Radu Grosu, Doron A. Peled, C. R. Ramakrishnan, Scott A. Smolka, Scott D. Stoller, Junxing Yang

Browse the full ISoLA paper archive.