Search Results - "Lopez, Diego Manzanas"

Online Reachability Analysis and Space Convexification for Autonomous Racing by Bogomolov, Sergiy, Johnson, Taylor T., Manzanas Lopez, Diego, Musau, Patrick, Stankaitis, Paulius

Get full text

Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter by Tran, Hoang-Dung, Pal, Neelanjana, Lopez, Diego Manzanas, Musau, Patrick, Yang, Xiaodong, Nguyen, Luan Viet, Xiang, Weiming, Bak, Stanley, Johnson, Taylor T.

“…Verification has emerged as a means to provide formal guarantees on learning-based systems incorporating neural network before using them in safety-critical…”
Get full text

Parallelizable Reachability Analysis Algorithms for Feed-Forward Neural Networks by Tran, Hoang-Dung, Musau, Patrick, Manzanas Lopez, Diego, Yang, Xiaodong, Nguyen, Luan Viet, Xiang, Weiming, Johnson, Taylor T

“…Artificial neural networks (ANN) have displayed considerable utility in a wide range of applications such as image processing, character and pattern…”
Get full text

Tutorial: Neural Network and Autonomous Cyber-Physical Systems Formal Verification for Trustworthy AI and Safe Autonomy by Tran, Hoang-Dung, Lopez, Diego Manzanas, Johnson, Taylor T.

“…This interactive tutorial describes state-of-the-art methods for formally verifying neural networks and their usage within safety-critical cyber-physical…”
Get full text

Learning and Verification of Dynamical Systems with Neural Network Components by Manzanas Lopez, Diego

“…Cyber-physical systems (CPSs) with learning-enable components (LECs) are becoming very popular, especially in the area of autonomous vehicles such as unmanned…”
Get full text

Robustness Verification of Deep Neural Networks using Star-Based Reachability Analysis with Variable-Length Time Series Input by Pal, Neelanjana, Lopez, Diego Manzanas, Johnson, Taylor T

“…Data-driven, neural network (NN) based anomaly detection and predictive maintenance are emerging research areas. NN-based analytics of time-series data offer…”
Get full text

Zero-Shot Policy Transfer in Autonomous Racing: Reinforcement Learning vs Imitation Learning by Hamilton, Nathaniel, Musau, Patrick, Lopez, Diego Manzanas, Johnson, Taylor T.

“…There are few technologies that hold as much promise in achieving safe, accessible, and convenient transportation as autonomous vehicles. However, as recent…”
Get full text

On Using Real-Time Reachability for the Safety Assurance of Machine Learning Controllers by Musau, Patrick, Hamilton, Nathaniel, Lopez, Diego Manzanas, Robinette, Preston, Johnson, Taylor T.

“…Over the last decade, advances in machine learning and sensing technology have paved the way for the belief that safe, accessible, and convenient autonomous…”
Get full text

Tutorial: Safe, Secure, and Trustworthy Artificial Intelligence (AI) via Formal Verification of Neural Networks and Autonomous Cyber-Physical Systems (CPS) with NNV by Johnson, Taylor T., Lopez, Diego Manzanas, Tran, Hoang-Dung

“…Ensuring safe, secure, and trustworthy artificial intelligence (AI), particularly within safety-critical systems like autonomous cyber-physical stems (CPS), is…”
Get full text

Case Study: Neural Network Malware Detection Verification for Feature and Image Datasets by Robinette, Preston K., Lopez, Diego Manzanas, Serbinowska, Serena, Leach, Kevin, Johnson, Taylor T.

“…Malware, or software designed with harmful intent, is an ever-evolving threat that can have drastic effects on both individuals and institutions. Neural…”
Get full text

Case Study: Neural Network Malware Detection Verification for Feature and Image Datasets by Robinette, Preston K, Lopez, Diego Manzanas, Serbinowska, Serena, Leach, Kevin, Johnson, Taylor T

“…Malware, or software designed with harmful intent, is an ever-evolving threat that can have drastic effects on both individuals and institutions. Neural…”
Get full text

Reachability Analysis of a General Class of Neural Ordinary Differential Equations by Lopez, Diego Manzanas, Musau, Patrick, Hamilton, Nathaniel, Johnson, Taylor T

“…Continuous deep learning models, referred to as Neural Ordinary Differential Equations (Neural ODEs), have received considerable attention over the last…”
Get full text

Online Reachability Analysis and Space Convexification for Autonomous Racing by Bogomolov, Sergiy, Johnson, Taylor T, Lopez, Diego Manzanas, Musau, Patrick, Stankaitis, Paulius

“…EPTCS 395, 2023, pp. 95-112 This paper presents an optimisation-based approach for an obstacle avoidance problem within an autonomous vehicle racing context…”
Get full text

An Empirical Analysis of the Use of Real-Time Reachability for the Safety Assurance of Autonomous Vehicles by Musau, Patrick, Hamilton, Nathaniel, Lopez, Diego Manzanas, Robinette, Preston, Johnson, Taylor T

“…Recent advances in machine learning technologies and sensing have paved the way for the belief that safe, accessible, and convenient autonomous vehicles may be…”
Get full text

Reachable Set Estimation and Verification for Neural Network Models of Nonlinear Dynamic Systems by Xiang, Weiming, Lopez, Diego Manzanas, Musau, Patrick, Johnson, Taylor T

“…Neural networks have been widely used to solve complex real-world problems. Due to the complicate, nonlinear, non-convex nature of neural networks, formal…”
Get full text

NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems by Tran, Hoang-Dung, Yang, Xiaodong, Lopez, Diego Manzanas, Musau, Patrick, Nguyen, Luan Viet, Xiang, Weiming, Bak, Stanley, Johnson, Taylor T

“…This paper presents the Neural Network Verification (NNV) software tool, a set-based verification framework for deep neural networks (DNNs) and…”
Get full text

Case Study: Safety Verification of an Unmanned Underwater Vehicle by Lopez, Diego Manzanas, Musau, Patrick, Hamilton, Nathaniel, Tran, Hoang-Dung, Jonhson, Taylor T.

“…This manuscript evaluates the safety of a neural network controller that seeks to ensure that an Unmanned Underwater Vehicle (UUV) does not collide with a…”
Get full text

Demo: The Neural Network Verification (NNV) Tool by Tran, Hoang-Dung, Lopez, Diego Manzanas, Yang, Xiaodong, Musau, Patrick, Nguyen, Luan Viet, Xiang, Weiming, Bak, Stanley, Johnson, Taylor T.

“…NNV (Neural Network Verification) is a framework for the verification of deep neural networks (DNNs) and learning-enabled cyber-physical systems (CPS) inspired…”
Get full text

Verification for Machine Learning, Autonomy, and Neural Networks Survey by Xiang, Weiming, Musau, Patrick, Wild, Ayana A, Lopez, Diego Manzanas, Hamilton, Nathaniel, Yang, Xiaodong, Rosenfeld, Joel, Johnson, Taylor T

“…This survey presents an overview of verification techniques for autonomous systems, with a focus on safety-critical autonomous cyber-physical systems (CPS) and…”
Get full text