Name Card

Full name Familienname, Vorname
Amir, Guy
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-3 of 3 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Bassan-2023-Formally Explaining Neural Networks within Reactive Systems-vor.pdf.jpgBassan, Shahaf ; Amir, Guy ; Corsi, Davide ; Refaeli, Idan ; Katz, Guy Formally Explaining Neural Networks within Reactive SystemsInproceedings Konferenzbeitrag Oct-2023
2Amir-2022-Verification-Aided Deep Ensemble Selection-vor.pdf.jpgAmir, Guy ; Zelazny, Tom ; Katz, Guy ; Schapira, Michael Verification-Aided Deep Ensemble SelectionKonferenzbeitrag Inproceedings Oct-2022
3Amir-2021-Towards Scalable Verification of Deep Reinforcement Learning-vor.pdf.jpgAmir, Guy ; Schapira, Michael ; Katz, Guy Towards Scalable Verification of Deep Reinforcement LearningInproceedings Oct-2021

Contributing Publications Mitbeteiligte Publikationen

Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Naseer, Mahum ; Hasan, Osman ; Shafique, Muhammad Scaling Model Checking for Neural Network Analysis via State-Space Reduction and Input SegmentationInproceedings Konferenzbeitrag 2023