h1

h2

h3

h4

h5
h6
% IMPORTANT: The following is UTF-8 encoded.  This means that in the presence
% of non-ASCII characters, it will not work with BibTeX 0.99 or older.
% Instead, you should use an up-to-date BibTeX implementation like “bibtex8” or
% “biber”.

@ARTICLE{Antal:1013867,
      author       = {Antal, László and Abraham, Erika and Masara, Hana},
      title        = {{G}eneralizing neural network verification to the family of
                      piece-wise linear activation functions},
      journal      = {Science of Computer Programming},
      volume       = {243},
      issn         = {1872-7964},
      address      = {Amsterdam [u.a.]},
      publisher    = {Elsevier Science},
      reportid     = {RWTH-2025-05751},
      pages        = {103269},
      year         = {2025},
      cin          = {123420 / 120000},
      cid          = {$I:(DE-82)123420_20140620$ / $I:(DE-82)120000_20140620$},
      typ          = {PUB:(DE-HGF)16 / PUB:(DE-HGF)7},
      UT           = {WOS:001426519100001},
      doi          = {10.1016/J.SCICO.2025.103269},
      url          = {https://publications.rwth-aachen.de/record/1013867},
}