Koushik Sen, Mahesh Viswanathan, Gul Agha
Statistical Model Checking of Black-Box Probabilistic Systems
CAV, 2004.
@inproceedings{CAV-2004-SenVA,
author = "Koushik Sen and Mahesh Viswanathan and Gul Agha",
booktitle = "{Proceedings of the 16th International Conference on Computer Aided Verification}",
doi = "10.1007/978-3-540-27813-9_16",
isbn = "3-540-22342-8",
pages = "202--215",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Statistical Model Checking of Black-Box Probabilistic Systems}",
volume = 3114,
year = 2004,
}