51 citations · 67 across the 8 of their papers we have counts for
1 paper · 1 filter
Dario Guidotti, Francesco Leofante, Luca Pulina +1
Verification of deep neural networks has witnessed a recent surge of interest, fueled by success stories in diverse domains and by abreast concerns about safety and security in env…