@article{enumeratingsaferegionsindeepneural,
  title = {Enumerating Safe Regions in Deep Neural Networks with Provable Probabilistic Guarantees},
  author = {Luca Marzari and Davide Corsi and Enrico Marchesini and Alessandro Farinelli and Ferdinando Cicalese},
  year = {2023},
  eprint = {2308.09842},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2308.09842v2},
}