Diego Manzanas Lopez

发表

Reachable Set Estimation and Verification for Neural Network Models of Nonlinear Dynamic Systems pdf

Weiming Xiang, Taylor T. Johnson, Diego Manzanas Lopez, 2018, Safe, Autonomous and Intelligent Vehicles.

Case Study: Safety Verification of an Unmanned Underwater Vehicle

Hoang-Dung Tran, Diego Manzanas Lopez, Patrick Musau, 2020, 2020 IEEE Security and Privacy Workshops (SPW).

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

Weiming Xiang, Luan Viet Nguyen, Taylor T. Johnson, 2020, CAV.

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

Taylor T. Johnson, Hoang-Dung Tran, Souradeep Dutta, 2019, ARCH@CPSIoTWeek.

Star-Based Reachability Analysis of Deep Neural Networks

Weiming Xiang, Luan Viet Nguyen, Taylor T. Johnson, 2019, FM.

Safety Verification of Cyber-Physical Systems with Reinforcement Learning Control

Xenofon D. Koutsoukos, Taylor T. Johnson, Hoang-Dung Tran, 2019, ACM Trans. Embed. Comput. Syst..

Demo: The Neural Network Verification (NNV) Tool

Weiming Xiang, Luan Viet Nguyen, Taylor T. Johnson, 2020, 2020 IEEE Workshop on Design Automation for CPS and IoT (DESTION).

Linear Differential-Algebraic Equations (Benchmark Proposal)

Taylor T. Johnson, Hoang-Dung Tran, Diego Manzanas Lopez, 2018, ARCH@ADHS.

Parallelizable Reachability Analysis Algorithms for Feed-Forward Neural Networks

Weiming Xiang, Luan Viet Nguyen, Taylor T. Johnson, 2019, 2019 IEEE/ACM 7th International Conference on Formal Methods in Software Engineering (FormaliSE).

Verification for Machine Learning, Autonomy, and Neural Networks Survey pdf

Weiming Xiang, Taylor T. Johnson, Xiaodong Yang, 2018, ArXiv.

Verification of Closed-loop Systems with Neural Network Controllers

Taylor T. Johnson, Hoang-Dung Tran, Diego Manzanas Lopez, 2019, ARCH@CPSIoTWeek.

Verification of Neural Network Compression of ACAS Xu Lookup Tables with Star Set Reachability

Xin Chen, Taylor T. Johnson, Stanley Bak, 2020, AIAA Scitech 2021 Forum.

Robustness Verification of Semantic Segmentation Neural Networks Using Relaxed Reachability

Taylor T. Johnson, Stanley Bak, Hoang-Dung Tran, 2021, CAV.

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

Weiming Xiang, Luan Viet Nguyen, Taylor T. Johnson, 2021, Formal Aspects of Computing.

Verification of Continuous and Hybrid Systems Linear Differential-Algebraic Equations ( Benchmark Proposal )

Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran, 2018 .

An Empirical Analysis of the Use of Real-Time Reachability for the Safety Assurance of Autonomous Vehicles

Taylor T. Johnson, Diego Manzanas Lopez, Patrick Musau, 2022, ArXiv.

Reachability Analysis of a General Class of Neural Ordinary Differential Equations

Taylor T. Johnson, Diego Manzanas Lopez, Patrick Musau, 2022, FORMATS.

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

Taylor T. Johnson, Diego Manzanas Lopez, Taylor J. Carpenter, 2022, EPiC Series in Computing.

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

Christian Schilling, Taylor T. Johnson, James Weimer, 2021, ARCH@ADHS.

Zero-Shot Policy Transfer in Autonomous Racing: Reinforcement Learning vs Imitation Learning

Taylor T. Johnson, Diego Manzanas Lopez, Patrick Musau, 2022, 2022 IEEE International Conference on Assured Autonomy (ICAA).

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

Diego Manzanas Lopez, Taylor J. Carpenter, Radoslav Ivanov, 2019, ARCH@CPSIoTWeek.

Neural Network Veriﬁcation Methods for Closed-Loop ACAS Xu Properties ∗

Taylor T. Johnson, Diego Manzanas Lopez, Kerianne L. Hobbs, 2021 .