Contributions to Books:
A. Legay, A. Lukina, L. Traonouez, J. Yang, S. Smolka, R. Grosu:
"Statistical model checking";
in: "Computing and Software Science",
We highlight the contributions made in the field of Statistical Model Checking (SMC) since its inception in 2002. As the formal setting, we use a very general model of Stochastic Systems (an SS is simply a family of time-indexed random variables), and Bounded LTL (BLTL) as the temporal logic. Let S be an SS and φ a BLTL formula.
Created from the Publication Database of the Vienna University of Technology.