I agree that this site is using cookies. You can find further informations here.
X
Amir, Guy
933  results:
Search for persons X
?
1

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..
 
?
2

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/..
 
?
3

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/..
 
?
4

Micro and macroevolution of sea anemone venom phenotype:

Smith, Edward G. ; Surm, Joachim M. ; Macrander, Jason...
Nature Communications.  14 (2023)  1 - p. , 2023
Link: https://doi.org/10.1038/..
 
?
5

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/..
 
?
6

Enhancing Deep Reinforcement Learning with Scenario-Based M..:

Yerushalmi, Raz ; Amir, Guy ; Elyasaf, Achiya...
SN Computer Science.  4 (2023)  2 - p. , 2023
Link: https://doi.org/10.1007/..
 
?
7

Verification-Aided Deep Ensemble Selection:

, In: 2022 Formal Methods in Computer-Aided Design (FMCAD),
Amir, Guy ; Zelazny, Tom ; Katz, Guy. - p. 27-37 , 2022
Link: https://doi.org/10.34727..
 
?
8

Neural Network Robustness as a Verification Property: A Pri..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Casadio, Marco ; Komendantskaya, Ekaterina ; Daggitt, Matthew L.... - p. 219-231 , 2022
Link: https://doi.org/10.1007/..
 
?
9

An SMT-Based Approach for Verifying Binarized Neural Networ..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Amir, Guy ; Wu, Haoze ; Barrett, Clark. - p. 203-222 , 2021
Link: https://doi.org/10.1007/..
 
?
10

Studies on the etiology of acute acalculous cholecystitis: ..:

Kaminski, Donald L. ; Amir, Guy ; Deshpande, Yashwant G...
Prostaglandins.  47 (1994)  4 - p. 319-330 , 1994
Link: https://doi.org/10.1016/..
 
?
11

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..
 
?
12

Verifying Generalization in Deep Learning:

Amir, Guy ; Maayan, Osher ; Zelazny, Tom..
http://arxiv.org/abs/2302.05745.  , 2023
Link: http://arxiv.org/abs/230..
 
?
13

Formally Explaining Neural Networks within Reactive Systems..:

Bassan, Shahaf ; Amir, Guy ; Corsi, Davide..
doi:10.5281/zenodo.8197761.  , 2023
Link: https://zenodo.org/recor..
 
?
14

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..
 
?
15

Micro and macroevolution of sea anemone venom phenotype:

Smith, Edward G ; Surm, Joachim M ; Macrander, Jason...
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC9842752/.  , 2023
Link: http://www.ncbi.nlm.nih...
 
1-15