%0 Conference Paper %1 conf/aaai/MarzariCMFC24 %A Marzari, Luca %A Corsi, Davide %A Marchesini, Enrico %A Farinelli, Alessandro %A Cicalese, Ferdinando %B AAAI %D 2024 %E Wooldridge, Michael J. %E Dy, Jennifer G. %E Natarajan, Sriraam %I AAAI Press %K dblp %P 21387-21394 %T Enumerating Safe Regions in Deep Neural Networks with Provable Probabilistic Guarantees. %U http://dblp.uni-trier.de/db/conf/aaai/aaai2024.html#MarzariCMFC24

@inproceedings{conf/aaai/MarzariCMFC24, added-at = {2024-04-02T00:00:00.000+0200}, author = {Marzari, Luca and Corsi, Davide and Marchesini, Enrico and Farinelli, Alessandro and Cicalese, Ferdinando}, biburl = {https://www.bibsonomy.org/bibtex/2a625984ad424f3a5d82a7e93bcbe5614/dblp}, booktitle = {AAAI}, crossref = {conf/aaai/2024}, editor = {Wooldridge, Michael J. and Dy, Jennifer G. and Natarajan, Sriraam}, ee = {https://doi.org/10.1609/aaai.v38i19.30134}, interhash = {36a83aede7a943fb59d0abecb7b162c6}, intrahash = {a625984ad424f3a5d82a7e93bcbe5614}, keywords = {dblp}, pages = {21387-21394}, publisher = {AAAI Press}, timestamp = {2024-04-09T18:10:47.000+0200}, title = {Enumerating Safe Regions in Deep Neural Networks with Provable Probabilistic Guarantees.}, url = {http://dblp.uni-trier.de/db/conf/aaai/aaai2024.html#MarzariCMFC24}, year = 2024 }