Synthesizing Probabilistic Invariants via Doob's Decomposition - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Gilles Barthe, Thomas Espitau, Luis María Ferrer Fioriti, Justin Hsu. Synthesizing Probabilistic Invariants via Doob's Decomposition. In Swarat Chaudhuri, Azadeh Farzan, editors, Computer Aided Verification - 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I. Volume 9779 of Lecture Notes in Computer Science, pages 43-61, Springer, 2016. [doi]

This author has not been identified. Look up 'Gilles Barthe' in GoogleThis author has not been identified. Look up 'Thomas Espitau' in GoogleThis author has not been identified. Look up 'Luis María Ferrer Fioriti' in GoogleThis author has not been identified. Look up 'Justin Hsu' in Google

runs on WebDSL