Luan Viet Nguyen
From MaRDI portal
Person:1693829
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter Formal Aspects of Computing | 2021-09-14 | Paper |
| Reachability analysis for high-index linear differential algebraic equations (available as arXiv preprint) | 2020-05-05 | Paper |
| Order-reduction abstractions for safety verification of high-dimensional linear systems Discrete Event Dynamic Systems | 2018-01-31 | Paper |
| Abnormal data classification using time-frequency temporal logic Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control | 2017-07-11 | Paper |
Research outcomes over time
This page was built for person: Luan Viet Nguyen
