@misc{indiciae7e7a18d8e123,
  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 = {2024},
  url = {https://arxiv.org/abs/2308.09842},
  note = {Source identifier: 2308.09842}
}