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

Marzari et al. "The #DNN-Verification Problem: Counting Unsafe Inputs for Deep Neural Networks." International Joint Conference on Artificial Intelligence, 2023. doi:10.24963/IJCAI.2023/25

[Marzari et al. "The #DNN-Verification Problem: Counting Unsafe Inputs for Deep Neural Networks." International Joint Conference on Artificial Intelligence, 2023.](https://mlanthology.org/ijcai/2023/marzari2023ijcai-dnn/) doi:10.24963/IJCAI.2023/25

@inproceedings{marzari2023ijcai-dnn,
  title     = {{The #DNN-Verification Problem: Counting Unsafe Inputs for Deep Neural Networks}},
  author    = {Marzari, Luca and Corsi, Davide and Cicalese, Ferdinando and Farinelli, Alessandro},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2023},
  pages     = {217-224},
  doi       = {10.24963/IJCAI.2023/25},
  url       = {https://mlanthology.org/ijcai/2023/marzari2023ijcai-dnn/}
}