C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
John Grese
Publication Activity (10 Years)
Years Active: 2021-2021
Publications (10 Years): 2
Top Topics
Segmentation Algorithm
Neural Network
Image Content
Classifier Training
Top Venues
CoRR
SAFECOMP
</>
Publications
</>
Colin Paterson
,
Haoze Wu
,
John Grese
,
Radu Calinescu
,
Corina S. Pasareanu
,
Clark W. Barrett
DeepCert: Verification of Contextually Relevant Robustness for Neural Network Image Classifiers.
CoRR
(2021)
Colin Paterson
,
Haoze Wu
,
John Grese
,
Radu Calinescu
,
Corina S. Pasareanu
,
Clark W. Barrett
DeepCert: Verification of Contextually Relevant Robustness for Neural Network Image Classifiers.
SAFECOMP
(2021)