Statistical Model Checking of Black-Box Probabilistic Systems (2004)

by Koushik Sen , Mahesh Viswanathan , Gul Agha
Venue:In 16th conference on Computer Aided Verification (CAV’04), volume 3114 of LNCS
Citations:41 - 7 self