h1

h2

h3

h4

h5
h6
http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png

Generalizing neural network verification to the family of piece-wise linear activation functions

; ;

In
Advances in Formal Methods for Autonomous Systems / Guest Editors: Matt Luckcuck, Marie Farrell, Maike Schwammberger, Mario Gleirscher

In
Science of Computer Programming 243, Seiten/Artikel-Nr.:103269

ImpressumAmsterdam [u.a.] : Elsevier Science

Umfang[1]-22

ISSN1872-7964

Online
DOI: 10.1016/J.SCICO.2025.103269

DOI: 10.1016/j.scico.2025.103269

DOI: 10.18154/RWTH-2025-05751
URL: https://publications.rwth-aachen.de/record/1013867/files/1013867.pdf

Einrichtungen

  1. Lehr- und Forschungsgebiet Theorie Hybrider Systeme (123420)
  2. Fachgruppe Informatik (120000)


OpenAccess:
Download fulltext PDF

Dokumenttyp
Journal Article/Contribution to a book

Format
online, print

Sprache
English

Anmerkung
Peer reviewed article

Externe Identnummern
SCOPUS: SCOPUS:2-s2.0-85217224815
WOS Core Collection: WOS:001426519100001
OpenAlex: W4407172413

Interne Identnummern
RWTH-2025-05751
Datensatz-ID: 1013867

Beteiligte Länder
Germany

Lizenzstatus der Zeitschrift

 GO

Creative Commons Attribution CC BY 4.0 ; OpenAccess
QR Code for this record

The record appears in these collections:
Document types > Books > Contributions to a book
Document types > Articles > Journal Articles
Publication server / Open Access
Faculty of Computer Science (Fac.9)
Public records
Publication Charges
Publications database
120000
123420
TypAmountVATCurrencyShareStatusCost centre
Hybrid-OA2400.29168.02EUR96.00 %(DEAL)021000-123420
Other100.007.00EUR4.00 %(DEAL)021000-123420
Sum2500.29175.02EUR   
Total2675.31     
 Record created 2025-06-30, last modified 2026-09-14
Similar records


OpenAccess:
Download fulltext PDF
Rate this document:

Rate this document:
1
2
3
4
5
 
(Not yet reviewed)