Bayesian Statistical parametric Verification and synthesis by Machine Learning.

Luca Bortolussi, Guido Sanguinetti, Simone Silvetti

Browse the full WSC paper archive.