%0 Journal Article %1 journals/automatica/XueLA24 %A Xue, Anton %A Lindemann, Lars %A Alur, Rajeev %D 2024 %J Autom. %K dblp %P 111487 %T Chordal sparsity for SDP-based neural network verification. %U http://dblp.uni-trier.de/db/journals/automatica/automatica161.html#XueLA24 %V 161

@article{journals/automatica/XueLA24, added-at = {2024-07-26T00:00:00.000+0200}, author = {Xue, Anton and Lindemann, Lars and Alur, Rajeev}, biburl = {https://www.bibsonomy.org/bibtex/2f4b2fa0b71cdbea7a827320f1b2504f9/dblp}, ee = {https://doi.org/10.1016/j.automatica.2023.111487}, interhash = {76201f7f57e846e5a6e2dc85c22265ad}, intrahash = {f4b2fa0b71cdbea7a827320f1b2504f9}, journal = {Autom.}, keywords = {dblp}, pages = 111487, timestamp = {2024-07-29T07:04:09.000+0200}, title = {Chordal sparsity for SDP-based neural network verification.}, url = {http://dblp.uni-trier.de/db/journals/automatica/automatica161.html#XueLA24}, volume = 161, year = 2024 }