h1

h2

h3

h4

h5
h6
TY  - JOUR
AU  - Antal, László
AU  - Abraham, Erika
AU  - Masara, Hana
TI  - Generalizing neural network verification to the family of piece-wise linear activation functions
JO  - Science of Computer Programming
VL  - 243
SN  - 1872-7964
CY  - Amsterdam [u.a.]
PB  - Elsevier Science
M1  - RWTH-2025-05751
SP  - 103269
PY  - 2025
LB  - PUB:(DE-HGF)16 ; PUB:(DE-HGF)7
UR  - <Go to ISI:>//WOS:001426519100001
DO  - DOI:10.1016/J.SCICO.2025.103269
UR  - https://publications.rwth-aachen.de/record/1013867
ER  -