VMware Research

View Statistics Email Alert RSS Feed

Details

Organization Name (de) Name der Organisation (de)
VMware Research
 

OrgUnit's Publications


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

PreviewAuthor(s)TitleTypeIssue Date
1Janota-2023-The FMCAD 2023 Student Forum-vor.pdf.jpgJanota, Mikoláš ; Narodytska, Nina The FMCAD 2023 Student ForumInproceedings Konferenzbeitrag Oct-2023
2Naseer, Mahum ; Hasan, Osman ; Shafique, Muhammad Scaling Model Checking for Neural Network Analysis via State-Space Reduction and Input SegmentationInproceedings Konferenzbeitrag 2023