Variable Probabilistic Abstraction Refinement

Luis María Ferrer Fioriti, Ernst Moritz Hahn, Holger Hermanns, Björn Wachter. Variable Probabilistic Abstraction Refinement. In Supratik Chakraborty, Madhavan Mukund, editors, Automated Technology for Verification and Analysis - 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings. Volume 7561 of Lecture Notes in Computer Science, pages 300-316, Springer, 2012. [doi]

Authors

Luis María Ferrer Fioriti

This author has not been identified. Look up 'Luis María Ferrer Fioriti' in Google

Ernst Moritz Hahn

This author has not been identified. Look up 'Ernst Moritz Hahn' in Google

Holger Hermanns

This author has not been identified. Look up 'Holger Hermanns' in Google

Björn Wachter

This author has not been identified. Look up 'Björn Wachter' in Google