The #DNN-Verification Problem: Counting Unsafe Inputs for Deep Neural Networks - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Luca Marzari, Davide Corsi, Ferdinando Cicalese, Alessandro Farinelli. The #DNN-Verification Problem: Counting Unsafe Inputs for Deep Neural Networks. In Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023, 19th-25th August 2023, Macao, SAR, China. pages 217-224, ijcai.org, 2023. [doi]

This author has not been identified. Look up 'Luca Marzari' in GoogleThis author has not been identified. Look up 'Davide Corsi' in GoogleThis author has not been identified. Look up 'Ferdinando Cicalese' in GoogleThis author has not been identified. Look up 'Alessandro Farinelli' in Google

runs on WebDSL