guest ::
001013867 001__ 1013867 001013867 005__ 20251112054253.0 001013867 0247_ $$2ISSN$$a0167-6423 001013867 0247_ $$2ISSN$$a1872-7964 001013867 0247_ $$2SCOPUS$$aSCOPUS:2-s2.0-85217224815 001013867 0247_ $$2WOS$$aWOS:001426519100001 001013867 0247_ $$2doi$$a10.1016/J.SCICO.2025.103269 001013867 0247_ $$2doi$$a10.1016/j.scico.2025.103269 001013867 0247_ $$2datacite_doi$$a10.18154/RWTH-2025-05751 001013867 037__ $$aRWTH-2025-05751 001013867 041__ $$aEnglish 001013867 1001_ $$0P:(DE-82)IDM05712$$aAntal, László$$b0$$eCorresponding author$$urwth 001013867 245__ $$aGeneralizing neural network verification to the family of piece-wise linear activation functions$$honline, print 001013867 260__ $$aAmsterdam [u.a.]$$bElsevier Science$$c2025 001013867 300__ $$a[1]-22 001013867 3367_ $$00$$2EndNote$$aJournal Article 001013867 3367_ $$0PUB:(DE-HGF)16$$2PUB:(DE-HGF)$$aJournal Article$$bjournal$$mjournal 001013867 3367_ $$0PUB:(DE-HGF)7$$2PUB:(DE-HGF)$$aContribution to a book 001013867 3367_ $$2BibTeX$$aARTICLE 001013867 3367_ $$2DRIVER$$aarticle 001013867 3367_ $$2DataCite$$aOutput Types/Journal article 001013867 3367_ $$2ORCID$$aJOURNAL_ARTICLE 001013867 591__ $$aGermany 001013867 7001_ $$0P:(DE-82)IDM00047$$aAbraham, Erika$$b1$$urwth 001013867 7001_ $$0P:(DE-82)980321$$aMasara, Hana$$b2$$urwth 001013867 770__ $$aAdvances in Formal Methods for Autonomous Systems / Guest Editors: Matt Luckcuck, Marie Farrell, Maike Schwammberger, Mario Gleirscher 001013867 773__ $$0PERI:(DE-600)2002667-5$$a10.1016/J.SCICO.2025.103269$$p103269$$tScience of Computer Programming$$v243$$x1872-7964$$y2025 001013867 8564_ $$uhttps://publications.rwth-aachen.de/record/1013867/files/1013867.pdf$$yOpenAccess 001013867 909CO $$ooai:publications.rwth-aachen.de:1013867$$popenaire$$popen_access$$pVDB$$pdriver$$pdnbdelivery 001013867 9151_ $$0StatID:(DE-HGF)0031$$2StatID$$aPeer reviewed article$$x0 001013867 915__ $$0StatID:(DE-HGF)0510$$2StatID$$aOpenAccess 001013867 915__ $$0LIC:(DE-HGF)CCBY4$$2HGFVOC$$aCreative Commons Attribution CC BY 4.0 001013867 9141_ $$y2025 001013867 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM05712$$aRWTH Aachen$$b0$$kRWTH 001013867 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM00047$$aRWTH Aachen$$b1$$kRWTH 001013867 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)980321$$aRWTH Aachen$$b2$$kRWTH 001013867 9201_ $$0I:(DE-82)123420_20140620$$k123420$$lLehr- und Forschungsgebiet Theorie Hybrider Systeme$$x0 001013867 9201_ $$0I:(DE-82)120000_20140620$$k120000$$lFachgruppe Informatik$$x1 001013867 961__ $$c2025-06-30T10:39:02.991811$$x2025-06-30T10:39:02.991811$$z2025-06-30 001013867 980__ $$aI:(DE-82)120000_20140620 001013867 980__ $$aI:(DE-82)123420_20140620 001013867 980__ $$aUNRESTRICTED 001013867 980__ $$aVDB 001013867 980__ $$acontb 001013867 980__ $$ajournal 001013867 9801_ $$aFullTexts