Relatively complete verification of probabilistic programs: an expressive language for expectation-based reasoning - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja. Relatively complete verification of probabilistic programs: an expressive language for expectation-based reasoning. Proceedings of the ACM on Programming Languages, 5(POPL):1-30, 2021. [doi]

This author has not been identified. Look up 'Kevin Batz' in GoogleThis author has not been identified. Look up 'Benjamin Lucien Kaminski' in GoogleThis author has not been identified. It may be one of the following persons:

Joost-Pieter Katoen

Look up 'Joost-Pieter Katoen' in GoogleThis author has not been identified. Look up 'Christoph Matheja' in Google

runs on WebDSL