The following pages link to Diego Manzanas Lopez (Q832177):
Displaying 3 items.
- Robustness verification of semantic segmentation neural networks using relaxed reachability (Q832180) (← links)
- Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter (Q1982635) (← links)
- Reachability analysis of a general class of neural ordinary differential equations (Q2112130) (← links)
