Symbolic Time and Space Tradeoffs for Probabilistic Verification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Alexander Svozil. Symbolic Time and Space Tradeoffs for Probabilistic Verification. In 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021, Rome, Italy, June 29 - July 2, 2021. pages 1-13, IEEE, 2021. [doi]

This author has not been identified. Look up 'Krishnendu Chatterjee' in GoogleThis author has not been identified. Look up 'Wolfgang Dvorák' in GoogleThis author has not been identified. Look up 'Monika Henzinger' in GoogleThis author has not been identified. Look up 'Alexander Svozil' in Google

runs on WebDSL