Machine Learning Methods in Statistical Model Checking and System Design - Tutorial - researchr publication bibliographies

researchr

You are not signed in
Sign in
Sign up

Luca Bortolussi, Dimitrios Milios, Guido Sanguinetti. Machine Learning Methods in Statistical Model Checking and System Design - Tutorial. In Ezio Bartocci, Rupak Majumdar, editors, Runtime Verification - 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings. Volume 9333 of Lecture Notes in Computer Science, pages 323-341, Springer, 2015. [doi]

runs on WebDSL