Static and Runtime Verification A Monte Carlo Approach State University of New York at Stony Brook [email protected] Radu Grosu.
Static and Runtime Verification A Monte Carlo Approach
Deep Random Search for Efficient Model Checking of Timed Automata Stony Brook University Radu Grosu Joint work with: X. Huang, S.A. Smolka, W. Tan and.