%0 Conference Paper %1 journals/corr/abs-2311-10780 %A Antal, László %A Masara, Hana %A Ábrahám, Erika %B FMAS@iFM %D 2023 %E Farrell, Marie %E Luckcuck, Matt %E Gleirscher, Mario %E Schwammberger, Maike %K dblp %P 30-68 %T Extending Neural Network Verification to a Larger Family of Piece-wise Linear Activation Functions. %U http://dblp.uni-trier.de/db/series/eptcs/eptcs395.html#abs-2311-10780 %V 395

@inproceedings{journals/corr/abs-2311-10780, added-at = {2024-02-05T00:00:00.000+0100}, author = {Antal, László and Masara, Hana and Ábrahám, Erika}, biburl = {https://www.bibsonomy.org/bibtex/2fd86c0e780f7cbfeeb721aa5d8f94b4d/dblp}, booktitle = {FMAS@iFM}, crossref = {journals/corr/abs-2311-08987}, editor = {Farrell, Marie and Luckcuck, Matt and Gleirscher, Mario and Schwammberger, Maike}, ee = {https://doi.org/10.48550/arXiv.2311.10780}, interhash = {f544767d491067b342f3d7c8e0a538f4}, intrahash = {fd86c0e780f7cbfeeb721aa5d8f94b4d}, keywords = {dblp}, pages = {30-68}, series = {EPTCS}, timestamp = {2024-04-09T09:30:27.000+0200}, title = {Extending Neural Network Verification to a Larger Family of Piece-wise Linear Activation Functions.}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs395.html#abs-2311-10780}, volume = 395, year = 2023 }