@inproceedings{NRB+4,
title = { Faster Statistical Model Checking by Means of Abstraction and Learning },
author = {Nouri, Ayoub and Raman, Balaji and Bozga, Marius and Legay, Axel and Bensalem, Saddek},
year = {2014},
booktitle = {Runtime Verification - 5th International Conference, {RV} 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings},
pages = {340--355},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {8734},
team = {DCS, RSD},
}
