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

Volltext

Safety Assurance of Autonomous Learning-Enabled Cyber Physical Systems von Musau, Patrick

Volltext bestellen

Safety Verification of Cyber-Physical Systems with Reinforcement Learning Control von Tran, Hoang-Dung, Cai, Feiyang, Diego, Manzanas Lopez, Musau, Patrick, Johnson, Taylor T., Koutsoukos, Xenofon

Volltext

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

Volltext

Real-Time Verification for Distributed Cyber-Physical Systems von Tran, Hoang-Dung, Nguyen, Luan Viet, Musau, Patrick, Xiang, Weiming, Johnson, Taylor T.

Volltext

Star-Based Reachability Analysis of Deep Neural Networks von Tran, Hoang-Dung, Manzanas Lopez, Diago, Musau, Patrick, Yang, Xiaodong, Nguyen, Luan Viet, Xiang, Weiming, Johnson, Taylor T.

Volltext

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

Volltext

Decentralized Real-Time Safety Verification for Distributed Cyber-Physical Systems von Tran, Hoang-Dung, Nguyen, Luan Viet, Musau, Patrick, Xiang, Weiming, Johnson, Taylor T.

Volltext

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

Volltext bestellen

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

Volltext

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

Volltext bestellen

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

Volltext

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

Volltext

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

Volltext bestellen

Real-Time Verification for Distributed Cyber-Physical Systems von Tran, Hoang-Dung, Nguyen, Luan Viet, Musau, Patrick, Xiang, Weiming, Johnson, Taylor T

Volltext bestellen

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

Volltext bestellen

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

Volltext

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

Volltext bestellen

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

Volltext

Real-Time Verification for Distributed Cyber-Physical Systems von Hoang-Dung Tran, Nguyen, Luan Viet, Musau, Patrick, Xiang, Weiming, Johnson, Taylor T

Volltext