Combining Nondeterminism, Probability, and Termination: Equational and Metric Reasoning - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Matteo Mio, Ralph Sarkis, Valeria Vignudelli. Combining Nondeterminism, Probability, and Termination: Equational and Metric Reasoning. In 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021, Rome, Italy, June 29 - July 2, 2021. pages 1-14, IEEE, 2021. [doi]

This author has not been identified. Look up 'Matteo Mio' in GoogleThis author has not been identified. Look up 'Ralph Sarkis' in GoogleThis author has not been identified. Look up 'Valeria Vignudelli' in Google

runs on WebDSL