Advances in verification of ReLU neural networks

Standort
Deutsche Nationalbibliothek Frankfurt am Main
Umfang
Online-Ressource
Sprache
Englisch

Erschienen in
In: Journal of Global Optimization (81:1) - Heidelberg : Springer - S. 109-152

Ereignis
Veröffentlichung
(wo)
Berlin
(wer)
Technische Universität Berlin
(wann)
2023
Urheber
Rössig, Ansgar
Petkovic, Milena

DOI
10.14279/depositonce-18089
Handle
11303/19293
URN
urn:nbn:de:101:1-2023072601570854562775
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
25.03.2025, 13:44 MEZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Beteiligte

  • Rössig, Ansgar
  • Petkovic, Milena
  • Technische Universität Berlin

Entstanden

  • 2023

Ähnliche Objekte (12)