Name Card

Full name Familienname, Vorname
Isac, Omri
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Isac-2022-Neural Network Verification with Proof Production-vor.pdf.jpgIsac, Omri ; Barrett, Clark ; Zhang, Min ; Katz, Guy Neural Network Verification with Proof ProductionKonferenzbeitrag Inproceedings Oct-2022

Contributing Publications Mitbeteiligte Publikationen

Results 1-1 of 1 (Search time: 0.002 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