%0 Conference Paper %1 conf/cdc/FazlyabMP19 %A Fazlyab, Mahyar %A Morari, Manfred %A Pappas, George J. %B CDC %D 2019 %I IEEE %K dblp %P 2726-2731 %T Probabilistic Verification and Reachability Analysis of Neural Networks via Semidefinite Programming. %U http://dblp.uni-trier.de/db/conf/cdc/cdc2019.html#FazlyabMP19 %@ 978-1-7281-1398-2

@inproceedings{conf/cdc/FazlyabMP19, added-at = {2024-02-05T00:00:00.000+0100}, author = {Fazlyab, Mahyar and Morari, Manfred and Pappas, George J.}, biburl = {https://www.bibsonomy.org/bibtex/2797c21314847b2f50bcf18f7a5e4d38e/dblp}, booktitle = {CDC}, crossref = {conf/cdc/2019}, ee = {https://doi.org/10.1109/CDC40024.2019.9029310}, interhash = {5a550ce86ebac5094dd866b3532814be}, intrahash = {797c21314847b2f50bcf18f7a5e4d38e}, isbn = {978-1-7281-1398-2}, keywords = {dblp}, pages = {2726-2731}, publisher = {IEEE}, timestamp = {2024-04-09T15:15:27.000+0200}, title = {Probabilistic Verification and Reachability Analysis of Neural Networks via Semidefinite Programming.}, url = {http://dblp.uni-trier.de/db/conf/cdc/cdc2019.html#FazlyabMP19}, year = 2019 }