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

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]

This author has not been identified. Look up 'Luca Bortolussi' in GoogleThis author has not been identified. Look up 'Dimitrios Milios' in GoogleThis author has not been identified. Look up 'Guido Sanguinetti' in Google

runs on WebDSL