%0 Journal Article %1 journals/corr/abs-2301-08842 %A Leino, Klas %D 2023 %J CoRR %K dblp %T Limitations of Piecewise Linearity for Efficient Robustness Certification. %U http://dblp.uni-trier.de/db/journals/corr/corr2301.html#abs-2301-08842 %V abs/2301.08842

@article{journals/corr/abs-2301-08842, added-at = {2023-01-26T00:00:00.000+0100}, author = {Leino, Klas}, biburl = {https://www.bibsonomy.org/bibtex/20296d90ae5d59636c004fcca88f34661/dblp}, ee = {https://doi.org/10.48550/arXiv.2301.08842}, interhash = {fff1892549bfbfefe602d38f026c72b8}, intrahash = {0296d90ae5d59636c004fcca88f34661}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T23:01:20.000+0200}, title = {Limitations of Piecewise Linearity for Efficient Robustness Certification.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2301.html#abs-2301-08842}, volume = {abs/2301.08842}, year = 2023 }