Robustness Verification of Quantum Classifiers - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ji Guan, Wang Fang, Mingsheng Ying. Robustness Verification of Quantum Classifiers. In Alexandra Silva 0001, K. Rustan M. Leino, editors, Computer Aided Verification - 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I. Volume 12759 of Lecture Notes in Computer Science, pages 151-174, Springer, 2021. [doi]

This author has not been identified. Look up 'Ji Guan' in GoogleThis author has not been identified. Look up 'Wang Fang' in GoogleThis author has not been identified. Look up 'Mingsheng Ying' in Google

runs on WebDSL