Diego Manzanas Lopez

From MaRDI portal
Revision as of 08:41, 6 October 2023 by Import231006081045 (talk | contribs) (Created automatically from import231006081045)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

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