Gast ::
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
2025
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
OpenAccess: 
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
Interne Identnummern
RWTH-2025-05751
Datensatz-ID: 1013867
Beteiligte Länder
Germany
; 
|
The record appears in these collections: |
PDF