Hoang-Dung Tran

Diego Manzanas Lopez

Proceedings of the International Conference on Embedded Software, 2023

NNV 2.0: The Neural Network Verification Tool.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022

Real-Time Verification for Distributed Cyber-Physical Systems.

[BibT_eX]

[DOI]

Leibniz Trans. Embed. Syst., 2022

Verification Approaches for Learning-Enabled Autonomous Cyber-Physical Systems.

[BibT_eX]

[DOI]

IEEE Des. Test, 2022

Neural Network Compression of ACAS Xu is Unsafe: Closed-Loop Verification through Quantized State Backreachability.

[BibT_eX]

[DOI]

Stanley Bak

CoRR, 2022

Neural Network Compression of ACAS Xu Early Prototype Is Unsafe: Closed-Loop Verification Through Quantized State Backreachability.

[BibT_eX]

[DOI]

Stanley Bak

Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

Neural Network Repair with Reachability Analysis.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2022

2021

Reachable Set Estimation for Neural Network Control Systems: A Simulation-Guided Approach.

[BibT_eX]

[DOI]

IEEE Trans. Neural Networks Learn. Syst., 2021

Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2021

Reachability Analysis of Convolutional Neural Networks.

[BibT_eX]

[DOI]

CoRR, 2021

Reachability analysis of deep ReLU neural networks using facet-vertex incidence.

[BibT_eX]

[DOI]

Proceedings of the HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, 2021

Robustness Verification of Semantic Segmentation Neural Networks Using Relaxed Reachability.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

Reachability Analysis for Feed-Forward Neural Networks using Face Lattices.

[BibT_eX]

[DOI]

CoRR, 2020

Case Study: Safety Verification of an Unmanned Underwater Vehicle.

[BibT_eX]

[DOI]

Proceedings of the 2020 IEEE Security and Privacy Workshops, 2020

NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

Verification of Deep Convolutional Neural Networks Using ImageStars.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

Improved Geometric Path Enumeration for Verifying ReLU Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

ARCH-COMP20 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants.

[BibT_eX]

[DOI]

Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020

2019

Safety Verification of Cyber-Physical Systems with Reinforcement Learning Control.

[BibT_eX]

[DOI]

Xenofon D. Koutsoukos

ACM Trans. Embed. Comput. Syst., 2019

Nonconservative Lifted Convex Conditions for Stability of Discrete-Time Switched Systems Under Minimum Dwell-Time Constraint.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2019

Parallelizable reachability analysis algorithms for feed-forward neural networks.

[BibT_eX]

[DOI]

Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, 2019

Numerical verification of affine systems with up to a billion dimensions.

[BibT_eX]

[DOI]

Stanley Bak

Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

Decentralized Real-Time Safety Verification for Distributed Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2019

Reachability Analysis for High-Index Linear Differential Algebraic Equations.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2019

Star-Based Reachability Analysis of Deep Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

Verification of Closed-loop Systems with Neural Network Controllers.

[BibT_eX]

[DOI]

Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019

ARCH-COMP19 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants.

[BibT_eX]

[DOI]

Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019

2018

Output Reachable Set Estimation and Verification for Multilayer Neural Networks.

[BibT_eX]

[DOI]

IEEE Trans. Neural Networks Learn. Syst., 2018

Robust Exponential Stability and Disturbance Attenuation for Discrete-Time Switched Systems Under Arbitrary Switching.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2018

Specification-Guided Safety Verification for Feedforward Neural Networks.

[BibT_eX]

[DOI]

CoRR, 2018

Simulation-Based Reachability Analysis for High-Index Large Linear Differential Algebraic Equations.

[BibT_eX]

[DOI]

CoRR, 2018

Reachable Set Estimation and Safety Verification for Piecewise Linear Systems with Neural Network Controllers.

[BibT_eX]

[DOI]

Proceedings of the 2018 Annual American Control Conference, 2018

Reachability Analysis for One Dimensional Linear Parabolic Equations.

[BibT_eX]

[DOI]

Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018

Discrete-Space Analysis of Partial Differential Equations.

[BibT_eX]

[DOI]

Tianshu Bao

Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018

Linear Differential-Algebraic Equations (Benchmark Proposal).

[BibT_eX]

[DOI]

Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018

2017

Output Reachable Set Estimation for Switched Linear Systems and Its Application in Safety Verification.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2017

Order-reduction abstractions for safety verification of high-dimensional linear systems.

[BibT_eX]

[DOI]

Discret. Event Dyn. Syst., 2017

Reachable Set Computation and Safety Verification for Neural Networks with ReLU Activations.

[BibT_eX]

[DOI]

CoRR, 2017

Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks.

[BibT_eX]

[DOI]

CoRR, 2017

Distributed Autonomous Systems.

[BibT_eX]

[DOI]

Proceedings of the ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2017

On reachable set estimation for discrete-time switched linear systems under arbitrary switching.

[BibT_eX]

[DOI]

Proceedings of the 2017 American Control Conference, 2017

2016

Deadlock Avoidance for Resource Allocation Model V VM-out-of-N PM.

[BibT_eX]

[DOI]

Proceedings of the Context-Aware Systems and Applications - 5th International Conference, 2016

Large-Scale Linear Systems from Order-Reduction.

[BibT_eX]

[DOI]

Luan Viet Nguyen

Proceedings of the ARCH@CPSWeek 2016, 2016

Reachable set estimation and control for switched linear systems with dwell-time restriction.

[BibT_eX]

[DOI]

Parasara Sridhar Duggirala

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE Conference on Control Applications, 2016

2015

Benchmark: A Nonlinear Reachability Analysis Test Set from Numerical Analysis.

[BibT_eX]

[DOI]

Luan Viet Nguyen

Proceedings of the 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, 2015

2014

Guaranteed cost static output feedback for networked control systems.

[BibT_eX]

[DOI]