Bayesian Statistical parametric Verification and synthesis by Machine Learning - researchr publication

researchr

You are not signed in
Sign in
Sign up

Luca Bortolussi, Guido Sanguinetti, Simone Silvetti. Bayesian Statistical parametric Verification and synthesis by Machine Learning. In 2018 Winter Simulation Conference, WSC 2018, Gothenburg, Sweden, December 9-12, 2018. pages 381-394, IEEE, 2018. [doi]

Abstract is missing.

runs on WebDSL