Verifying Binary Neural Networks on Continuous Input Space using Star Reachability - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Mykhailo Ivashchenko, Sung Woo Choi, Luan Viet Nguyen, Hoang-Dung Tran. Verifying Binary Neural Networks on Continuous Input Space using Star Reachability. In 11th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE 2023, Melbourne, Australia, May 14-15, 2023. pages 7-17, IEEE, 2023. [doi]

This author has not been identified. Look up 'Mykhailo Ivashchenko' in GoogleThis author has not been identified. Look up 'Sung Woo Choi' in GoogleThis author has not been identified. Look up 'Luan Viet Nguyen' in GoogleThis author has not been identified. Look up 'Hoang-Dung Tran' in Google

runs on WebDSL