I agree that this site is using cookies. You can find further informations here.
X
Katz, Guy
505  results:
OpenAccess-fulltext X
Search for persons X
?
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