Reluplex: a calculus for reasoning about deep neural networks (Englisch)
- Neue Suche nach: Katz, Guy
- Weitere Informationen zu Katz, Guy:
- https://orcid.org/0000-0002-7729-8373
- Neue Suche nach: Barrett, Clark
- Neue Suche nach: Dill, David L.
- Neue Suche nach: Julian, Kyle
- Neue Suche nach: Kochenderfer, Mykel J.
- Neue Suche nach: Katz, Guy
- Weitere Informationen zu Katz, Guy:
- https://orcid.org/0000-0002-7729-8373
- Neue Suche nach: Barrett, Clark
- Neue Suche nach: Dill, David L.
- Neue Suche nach: Julian, Kyle
- Neue Suche nach: Kochenderfer, Mykel J.
In:
Formal Methods in System Design
;
60
, 1
; 87-116
;
2021
-
ISSN:
- Aufsatz (Zeitschrift) / Elektronische Ressource
-
Titel:Reluplex: a calculus for reasoning about deep neural networks
-
Beteiligte:Katz, Guy ( Autor:in ) / Barrett, Clark ( Autor:in ) / Dill, David L. ( Autor:in ) / Julian, Kyle ( Autor:in ) / Kochenderfer, Mykel J. ( Autor:in )
-
Erschienen in:Formal Methods in System Design ; 60, 1 ; 87-116
-
Verlag:
- Neue Suche nach: Springer US
- Neue Suche nach: Springer Science + Business Media B.V
-
Erscheinungsort:Dordrecht [u.a.]
-
Erscheinungsdatum:2021
-
ISSN:
-
ZDBID:
-
DOI:
-
Medientyp:Aufsatz (Zeitschrift)
-
Format:Elektronische Ressource
-
Sprache:Englisch
- Neue Suche nach: 53.52$jElektronische Schaltungen / 54.30 / 53.52 / 54.30$jSystemarchitektur: Allgemeines$XInformatik / 54.20 / 54.20$jDatenverarbeitungsanlagen: Allgemeines
- Weitere Informationen zu Basisklassifikation
-
Schlagwörter:
-
Klassifikation:
BKL: 53.52$jElektronische Schaltungen / 54.30 Systemarchitektur: Allgemeines / 53.52 Elektronische Schaltungen / 54.30$jSystemarchitektur: Allgemeines$XInformatik / 54.20 Datenverarbeitungsanlagen: Allgemeines / 54.20$jDatenverarbeitungsanlagen: Allgemeines -
Datenquelle:
Inhaltsverzeichnis – Band 60, Ausgabe 1
Zeige alle Jahrgänge und Ausgaben
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
Static detection of uncoalesced accesses in GPU programsAlur, Rajeev / Devietti, Joseph / Leija, Omar S. Navarro / Singhania, Nimit et al. | 2021
- 33
-
Markov automata with multiple objectivesQuatmann, Tim / Junges, Sebastian / Katoen, Joost-Pieter et al. | 2021
- 87
-
Reluplex: a calculus for reasoning about deep neural networksKatz, Guy / Barrett, Clark / Dill, David L. / Julian, Kyle / Kochenderfer, Mykel J. et al. | 2021