Login / Signup
Dong Xu
ORCID
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 1
Top Topics
Multiscale
Video Sequences
Stability Analysis
Top Venues
CoRR
</>
Publications
</>
Hai Duong
,
Dong Xu
,
ThanhVu Nguyen
,
Matthew B. Dwyer
Harnessing Neuron Stability to Improve DNN Verification.
CoRR
(2024)