Exploiting Robust Optimization for Interval Probabilistic Bisimulation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns, Andrea Turrini. Exploiting Robust Optimization for Interval Probabilistic Bisimulation. In Gul Agha, Benny Van Houdt, editors, Quantitative Evaluation of Systems - 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings. Volume 9826 of Lecture Notes in Computer Science, pages 55-71, Springer, 2016. [doi]

This author has not been identified. Look up 'Ernst Moritz Hahn' in GoogleThis author has not been identified. Look up 'Vahid Hashemi' in GoogleThis author has not been identified. Look up 'Holger Hermanns' in GoogleThis author has not been identified. Look up 'Andrea Turrini' in Google

runs on WebDSL