%0 Conference Paper %1 conf/l4dc/PilipovskySOT23 %A Pilipovsky, Joshua %A Sivaramakrishnan, Vignesh %A Oishi, Meeko %A Tsiotras, Panagiotis %B L4DC %D 2023 %E Matni, Nikolai %E Morari, Manfred %E Pappas, George J. %I PMLR %K dblp %P 966-979 %T Probabilistic Verification of ReLU Neural Networks via Characteristic Functions. %U http://dblp.uni-trier.de/db/conf/l4dc/l4dc2023.html#PilipovskySOT23 %V 211

@inproceedings{conf/l4dc/PilipovskySOT23, added-at = {2023-06-16T00:00:00.000+0200}, author = {Pilipovsky, Joshua and Sivaramakrishnan, Vignesh and Oishi, Meeko and Tsiotras, Panagiotis}, biburl = {https://www.bibsonomy.org/bibtex/2b3321030f5170b97cb6995b83eb4fcf5/dblp}, booktitle = {L4DC}, crossref = {conf/l4dc/2023}, editor = {Matni, Nikolai and Morari, Manfred and Pappas, George J.}, ee = {https://proceedings.mlr.press/v211/pilipovsky23a.html}, interhash = {c85d1d7a82f8b2da1b8b82ab7f29f608}, intrahash = {b3321030f5170b97cb6995b83eb4fcf5}, keywords = {dblp}, pages = {966-979}, publisher = {PMLR}, series = {Proceedings of Machine Learning Research}, timestamp = {2024-04-10T01:28:14.000+0200}, title = {Probabilistic Verification of ReLU Neural Networks via Characteristic Functions.}, url = {http://dblp.uni-trier.de/db/conf/l4dc/l4dc2023.html#PilipovskySOT23}, volume = 211, year = 2023 }