Patrick Musau

From MaRDI portal
Person:832176

Available identifiers

zbMath Open musau.patrickMaRDI QIDQ832176

List of research outcomes





PublicationDate of PublicationType
Star-based reachability analysis of deep neural networks2024-03-14Paper
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: Patrick Musau

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