Hoang-Dung Tran

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
Reachability analysis of deep ReLU neural networks using facet-vertex incidence Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control	2024-02-21	Paper
Quantitative Verification for Neural Networks using ProbStars Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control	2024-02-21	Paper
Verification of Recurrent Neural Networks with Star Reachability Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control	2024-02-21	Paper
Neural network repair with reachability analysis (available as arXiv preprint)	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 Formal Aspects of Computing	2021-09-14	Paper
Verification of deep convolutional neural networks using ImageStars (available as arXiv preprint)	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 (available as arXiv preprint)	2020-05-05	Paper
Numerical verification of affine systems with up to a billion dimensions Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control	2019-10-22	Paper
Nonconservative Lifted Convex Conditions for Stability of Discrete-Time Switched Systems Under Minimum Dwell-Time Constraint IEEE Transactions on Automatic Control	2019-08-12	Paper
scientific article; zbMATH DE number 6936841 (Why is no real title available?)	2018-09-14	Paper
Output Reachable Set Estimation for Switched Linear Systems and Its Application in Safety Verification IEEE Transactions on Automatic Control	2018-06-27	Paper
Order-reduction abstractions for safety verification of high-dimensional linear systems Discrete Event Dynamic Systems	2018-01-31	Paper

Research outcomes over time

This page was built for person: Hoang-Dung Tran