Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren
Datenschutzerklärungen
.
X
Login
Merkliste (
0
)
Startseite
Über uns
Startseite Über uns
Neues aus der SuUB
Geschichte der SuUB
Bibliotheksprofil
Presseinformationen
Freundeskreis
Die Bibliothek in Zahlen
Ausstellungen
Projekte
Ausbildung, Praktika und Stellenangebote
Filme zur Staats- und Universitätsbibliothek Bremen
Service & Beratung
Startseite Service & Beratung
Ausleihe & Fernleihe
Rückgabe & Verlängerung
Schulungen & Führungen
Mein Bibliothekskonto
Bibliotheksausweis
Neu in der Bibliothek?
Informationsmaterialien, Formulare und Pläne zum Download
Öffnungszeiten
Lernort Bibliothek
PC, WLAN, Kopieren, Scannen, Drucken
Kataloge & Sammlungen
Startseite Kataloge & Sammlungen
Historische Sammlungen
Digitale Sammlungen
Fachinformationen
Standorte
Startseite Standorte
Zentrale
Juridicum
Bereichsbibliothek Wirtschaftswissenschaft
Bereichsbibliothek Physik / Elektrotechnik
Teilbibliothek Technik und Sozialwesen
Teilbibliothek Wirtschaft und Nautik
Teilbibliothek Musik
Teilbibliothek Kunst
Teilbibliothek Bremerhaven
Kontakt
Startseite Kontakt
Liste der Ansprechpartner
Open Access & Publizieren
Startseite Open Access & Publizieren
Literaturverwaltung
Literatur Publizieren
Open Access in Bremen
Toggle navigation
Katz, Guy
505
Ergebnisse:
OpenAccess-Volltexte X
Personensuche
X
Sortierung: Relevanz
Sortierung: Jahr
?
1
Robustness Assessment of a Runway Object Classifier for Saf..:
Elboher, Yizhak
;
Elsaleh, Raya
;
Isac, Omri
...
http://arxiv.org/abs/2402.00035. , 2024
Link:
http://arxiv.org/abs/240..
?
2
Marabou 2.0: A Versatile Formal Analyzer of Neural Networks:
Wu, Haoze
;
Isac, Omri
;
Zeljić, Aleksandar
...
http://arxiv.org/abs/2401.14461. , 2024
Link:
http://arxiv.org/abs/240..
?
3
On Augmenting Scenario-Based Modeling with Generative AI:
Harel, David
;
Katz, Guy
;
Marron, Assaf
.
http://arxiv.org/abs/2401.02245. , 2024
Link:
http://arxiv.org/abs/240..
?
4
DEM: A Method for Certifying Deep Neural Network Classifier..:
Katz, Guy
;
Levy, Natan
;
Refaeli, Idan
.
http://arxiv.org/abs/2401.02283. , 2024
Link:
http://arxiv.org/abs/240..
?
5
DelBugV: Delta-Debugging Neural Network Verifiers:
Elsaleh, Raya
;
Katz, Guy
http://arxiv.org/abs/2305.18558. , 2023
Link:
http://arxiv.org/abs/230..
?
6
Enhancing Deep Learning with Scenario-Based Override Rules:..:
Ashrov, Adiel
;
Katz, Guy
http://arxiv.org/abs/2301.08114. , 2023
Link:
http://arxiv.org/abs/230..
?
7
DNN Verification, Reachability, and the Exponential Functio..:
Isac, Omri
;
Zohar, Yoni
;
Barrett, Clark
.
http://arxiv.org/abs/2305.06064. , 2023
Link:
http://arxiv.org/abs/230..
?
8
gRoMA: a Tool for Measuring the Global Robustness of Deep N..:
Levy, Natan
;
Yerushalmi, Raz
;
Katz, Guy
http://arxiv.org/abs/2301.02288. , 2023
Link:
http://arxiv.org/abs/230..
?
9
Verifying Generalization in Deep Learning:
Amir, Guy
;
Maayan, Osher
;
Zelazny, Tom
..
http://arxiv.org/abs/2302.05745. , 2023
Link:
http://arxiv.org/abs/230..
?
10
Formally Explaining Neural Networks within Reactive Systems..:
Bassan, Shahaf
;
Amir, Guy
;
Corsi, Davide
..
doi:10.5281/zenodo.8197761. , 2023
Link:
https://zenodo.org/recor..
?
11
Towards a Certified Proof Checker for Deep Neural Network V..:
Desmartin, Remi
;
Isac, Omri
;
Passmore, Grant
...
http://arxiv.org/abs/2307.06299. , 2023
Link:
http://arxiv.org/abs/230..
?
12
On Reducing Undesirable Behavior in Deep Reinforcement Lear..:
Carmel, Ophir M
;
Katz, Guy
http://arxiv.org/abs/2309.02869. , 2023
Link:
http://arxiv.org/abs/230..
?
13
Formally Explaining Neural Networks within Reactive Systems:
Bassan, Shahaf
;
Amir, Guy
;
Corsi, Davide
..
http://arxiv.org/abs/2308.00143. , 2023
Link:
http://arxiv.org/abs/230..
?
14
OccRob: Efficient SMT-Based Occlusion Robustness Verificati..:
Guo, Xingwu
;
Zhou, Ziwei
;
Zhang, Yueling
..
http://arxiv.org/abs/2301.11912. , 2023
Link:
http://arxiv.org/abs/230..
?
15
DNN Verification, Reachability, and the Exponential Functio..:
Isac, Omri
;
Zohar, Yoni
;
Barrett, Clark
.
doi:10.4230/LIPIcs.CONCUR.2023.26. , 2023
Link:
https://doi.org/10.4230/..
1-15