75 citations · 280 across the 41 of their papers we have counts for
1 paper · 1 filter
Ravi Mangal, Nina Narodytska, Divya Gopinath +4
The analysis of vision-based deep neural networks (DNNs) is highly desirable but it is very challenging due to the difficulty of expressing formal specifications for vision tasks a…