Luan Viet Nguyen

From MaRDI portal
Person:1693829

Available identifiers

zbMath Open nguyen.luan-vietMaRDI QIDQ1693829

List of research outcomes





PublicationDate of PublicationType
Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter2021-09-14Paper
Reachability analysis for high-index linear differential algebraic equations2020-05-05Paper
Order-reduction abstractions for safety verification of high-dimensional linear systems2018-01-31Paper
Abnormal data classification using time-frequency temporal logic2017-07-11Paper

Research outcomes over time

This page was built for person: Luan Viet Nguyen

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