Quantum Expectation Transformers for Cost Analysis - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Martin Avanzini, Georg Moser, Romain Péchoux, Simon Perdrix, Vladimir Zamdzhiev. Quantum Expectation Transformers for Cost Analysis. In Christel Baier, Dana Fisman, editors, LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2 - 5, 2022. ACM, 2022. [doi]

This author has not been identified. Look up 'Martin Avanzini' in GoogleThis author has not been identified. Look up 'Georg Moser' in GoogleThis author has not been identified. Look up 'Romain Péchoux' in GoogleThis author has not been identified. Look up 'Simon Perdrix' in GoogleThis author has not been identified. Look up 'Vladimir Zamdzhiev' in Google

runs on WebDSL