Scalable Stochastic Parametric Verification with Stochastic Variational Smoothed Model Checking.

Luca Bortolussi, Francesca Cairoli, Ginevra Carbone, Paolo Pulcini

Browse the full RV paper archive.