@Inproceedings{DBLP:conf/rv/NouriRBLB14,
   biburl = {http://dblp.uni-trier.de/rec/bib/conf/rv/NouriRBLB14},
   status = {public},
   link = {http://www-verimag.imag.fr/~jcombaz/misc/rv14.pdf},
   task = {T5.2},
   publisher = {Springer},
   doi = {10.1007/978-3-319-11164-3_28},
   booktitle = {Runtime Verification - 5th International Conference, {RV} 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings},
   bibsource = {dblp computer science bibliography, http://dblp.org},
   year = {2014},
   isbn = {978-3-319-11163-6},
   invited = {no},
   timestamp = {Mon, 15 Sep 2014 11:23:13 +0200},
   volume = {8734},
   main = {no},
   title = {{Faster Statistical Model Checking by Means of Abstraction and Learning}},
   editor = {Borzoo Bonakdarpour and Scott A. Smolka},
   author = {Ayoub Nouri and Balaji Raman and Marius Bozga and Axel Legay and Saddek Bensalem},
   period = {year4},
   partner = {Verimag},
   wp = {WP5},
   pages = {340--355}
}