Hoang-Dung Tran

Available identifiers

zbMath Open tran.hoang-dungMaRDI QIDQ832174

List of research outcomes

Publication	Date of Publication	Type
Reachability analysis of deep ReLU neural networks using facet-vertex incidence	2024-02-21	Paper
Quantitative Verification for Neural Networks using ProbStars	2024-02-21	Paper
Verification of Recurrent Neural Networks with Star Reachability	2024-02-21	Paper
Neural network repair with reachability analysis	2023-01-18	Paper
Robustness verification of semantic segmentation neural networks using relaxed reachability	2022-03-25	Paper
Neural Network Compression of ACAS Xu Early Prototype is Unsafe: Closed-Loop Verification through Quantized State Backreachability	2022-01-17	Paper
Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter	2021-09-14	Paper
Verification of deep convolutional neural networks using ImageStars	2021-02-04	Paper
Improved geometric path enumeration for verifying ReLU neural networks	2021-02-04	Paper
Reachability analysis for high-index linear differential algebraic equations	2020-05-05	Paper
Numerical verification of affine systems with up to a billion dimensions	2019-10-22	Paper
Nonconservative Lifted Convex Conditions for Stability of Discrete-Time Switched Systems Under Minimum Dwell-Time Constraint	2019-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q5375228	2018-09-14	Paper
Output Reachable Set Estimation for Switched Linear Systems and Its Application in Safety Verification	2018-06-27	Paper
Order-reduction abstractions for safety verification of high-dimensional linear systems	2018-01-31	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Hoang-Dung Tran