Monte Carlo Model Checking.

Radu Grosu, Scott A. Smolka

Browse the full TACAS paper archive.