Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Katz, Guy
43  Ergebnisse:
Buchkapitel (Online) X
Personensuche X
?
1

Verifying Learning-Based Robotic Navigation Systems:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Amir, Guy ; Corsi, Davide ; Yerushalmi, Raz... - p. 607-627 , 2023
Link: https://doi.org/10.1007/..
 
?
2

RoMA: A Method for Neural Network Robustness Measurement an..:

, In: Communications in Computer and Information Science; Neural Information Processing,
Levy, Natan ; Katz, Guy - p. 92-105 , 2023
Link: https://doi.org/10.1007/..
 
?
3

Towards a Certified Proof Checker for Deep Neural Network V..:

, In: Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science,
Desmartin, Remi ; Isac, Omri ; Passmore, Grant... - p. 198-209 , 2023
Link: https://doi.org/10.1007/..
 
?
4

Towards Formal XAI: Formally Approximate Minimal Explanatio..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Bassan, Shahaf ; Katz, Guy - p. 187-207 , 2023
Link: https://doi.org/10.1007/..
 
?
5

veriFIRE: Verifying an Industrial, Learning-Based Wildfire ..:

, In: Formal Methods; Lecture Notes in Computer Science,
Amir, Guy ; Freund, Ziv ; Katz, Guy.. - p. 648-656 , 2023
Link: https://doi.org/10.1007/..
 
?
6

Taming Reachability Analysis of DNN-Controlled Systems via ..:

, In: Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation,
Tian, Jiaxu ; Zhi, Dapeng ; Liu, Si... - p. 73-97 , 2023
Link: https://doi.org/10.1007/..
 
?
7

Formally Explaining Neural Networks within Reactive Systems:

, In: 2023 Formal Methods in Computer-Aided Design (FMCAD),
Bassan, Shahaf ; Amir, Guy ; Corsi, Davide.. - p. 1-13 , 2023
Link: https://doi.org/10.34727..
 
?
8

gRoMA: A Tool for Measuring the Global Robustness of Deep N..:

, In: Bridging the Gap Between AI and Reality; Lecture Notes in Computer Science,
Levy, Natan ; Yerushalmi, Raz ; Katz, Guy - p. 160-170 , 2023
Link: https://doi.org/10.1007/..
 
?
9

DelBugV: Delta-Debugging Neural Network Verifiers:

, In: 2023 Formal Methods in Computer-Aided Design (FMCAD),
Elsaleh, Raya ; Katz, Guy - p. 34-43 , 2023
Link: https://doi.org/10.34727..
 
?
10

OccRob: Efficient SMT-Based Occlusion Robustness Verificati..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Guo, Xingwu ; Zhou, Ziwei ; Zhang, Yueling.. - p. 208-226 , 2023
Link: https://doi.org/10.1007/..
 
?
11

Verifying Generalization in Deep Learning:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Amir, Guy ; Maayan, Osher ; Zelazny, Tom.. - p. 438-455 , 2023
Link: https://doi.org/10.1007/..
 
?
12

Minimal Multi-Layer Modifications of Deep Neural Networks:

, In: Lecture Notes in Computer Science; Software Verification and Formal Methods for ML-Enabled Autonomous Systems,
Refaeli, Idan ; Katz, Guy - p. 46-66 , 2022
Link: https://doi.org/10.1007/..
 
?
13

On Optimizing Back-Substitution Methods for Neural Network ..:

, In: 2022 Formal Methods in Computer-Aided Design (FMCAD),
Zelazny, Tom ; Wu, Haoze ; Barrett, Clark. - p. 17-26 , 2022
Link: https://doi.org/10.34727..
 
?
14

Efficient Neural Network Analysis with Sum-of-Infeasibiliti..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Wu, Haoze ; Zeljić, Aleksandar ; Katz, Guy. - p. 143-163 , 2022
Link: https://doi.org/10.1007/..
 
?
15

Neural Network Verification Using Residual Reasoning:

, In: Software Engineering and Formal Methods; Lecture Notes in Computer Science,
Elboher, Yizhak Yisrael ; Cohen, Elazar ; Katz, Guy - p. 173-189 , 2022
Link: https://doi.org/10.1007/..
 
1-15