h1

h2

h3

h4

h5
h6
%0 Journal Article
%A Antal, László
%A Abraham, Erika
%A Masara, Hana
%T Generalizing neural network verification to the family of piece-wise linear activation functions
%J Science of Computer Programming
%V 243
%@ 1872-7964
%C Amsterdam [u.a.]
%I Elsevier Science
%M RWTH-2025-05751
%P 103269
%D 2025
%F PUB:(DE-HGF)16 ; PUB:(DE-HGF)7
%9 Journal ArticleContribution to a book
%U <Go to ISI:>//WOS:001426519100001
%R 10.1016/J.SCICO.2025.103269
%U https://publications.rwth-aachen.de/record/1013867