Hoang-Dung Tran

Available identifiers

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

This page was built for person: Hoang-Dung Tran