Luca Marzari, Davide Corsi, Enrico Marchesini, Alessandro Farinelli, Ferdinando Cicalese. Enumerating Safe Regions in Deep Neural Networks with Provable Probabilistic Guarantees. In Michael J. Wooldridge, Jennifer G. Dy, Sriraam Natarajan, editors, Thirty-Eigth AAAI Conference on Artificial Intelligence, AAAI 2024, Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence, IAAI 2024, Fourteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2014, February 20-27, 2024, Vancouver, Canada. pages 21387-21394, AAAI Press, 2024. [doi]
@inproceedings{MarzariCMFC24,
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},
doi = {10.1609/aaai.v38i19.30134},
url = {https://doi.org/10.1609/aaai.v38i19.30134},
researchr = {https://researchr.org/publication/MarzariCMFC24},
cites = {0},
citedby = {0},
pages = {21387-21394},
booktitle = {Thirty-Eigth AAAI Conference on Artificial Intelligence, AAAI 2024, Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence, IAAI 2024, Fourteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2014, February 20-27, 2024, Vancouver, Canada},
editor = {Michael J. Wooldridge and Jennifer G. Dy and Sriraam Natarajan},
publisher = {AAAI Press},
}