Confidence Bounds for Statistical Model Checking of Probabilistic Hybrid Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Christian Ellen, Sebastian Gerwinn, Martin Fränzle. Confidence Bounds for Statistical Model Checking of Probabilistic Hybrid Systems. In Marcin Jurdzinski, Dejan Nickovic, editors, Formal Modeling and Analysis of Timed Systems - 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings. Volume 7595 of Lecture Notes in Computer Science, pages 123-138, Springer, 2012. [doi]

This author has not been identified. Look up 'Christian Ellen' in GoogleThis author has not been identified. Look up 'Sebastian Gerwinn' in GoogleThis author has not been identified. Look up 'Martin Fränzle' in Google

runs on WebDSL