Login / Signup
Harleen Hanspal
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Cost Effective
Activation Function
Concurrent Systems
Fuzzy Logic
Top Venues
CVPR
</>
Publications
</>
Harleen Hanspal
,
Alessio Lomuscio
Efficient Verification of Neural Networks Against LVM-Based Specifications.
CVPR
(2023)