Faster Statistical Model Checking by Means of Abstraction and Learning.

Ayoub Nouri, Balaji Raman, Marius Bozga, Axel Legay, Saddek Bensalem

Browse the full RV paper archive.