Diego Manzanas Lopez

From MaRDI portal
Person:832177

Available identifiers

zbMath Open manzanas-lopez.diegoMaRDI QIDQ832177

List of research outcomes





PublicationDate of PublicationType
Reachability analysis of a general class of neural ordinary differential equations2023-01-18Paper
Robustness verification of semantic segmentation neural networks using relaxed reachability2022-03-25Paper
Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter2021-09-14Paper

Research outcomes over time

This page was built for person: Diego Manzanas Lopez



Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:832177&oldid=6931103"
Powered by MediaWiki