Ensuring the Reliability of Your Model Checker: Interval Iteration for Markov Decision Processes - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Christel Baier, Joachim Klein 0001, Linda Leuschner, David Parker 0001, Sascha Wunderlich. Ensuring the Reliability of Your Model Checker: Interval Iteration for Markov Decision Processes. In Rupak Majumdar, Viktor Kuncak, editors, Computer Aided Verification - 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I. Volume 10426 of Lecture Notes in Computer Science, pages 160-180, Springer, 2017. [doi]

This author has not been identified. Look up 'Christel Baier' in GoogleThis author has not been identified. Look up 'Joachim Klein 0001' in GoogleThis author has not been identified. Look up 'Linda Leuschner' in GoogleThis author has not been identified. Look up 'David Parker 0001' in GoogleThis author has not been identified. Look up 'Sascha Wunderlich' in Google

runs on WebDSL