Assurance-based Learning-enabled Cyber-Physical Systems

07/27/2020

01:10 PM Document: Trusted Confidence Bounds for Learning Enabled Cyber-Physical Systems

Cyber-physical systems (CPS) can benefit by the use of learning enabled components (LECs) such as deep neural network...

Dimitrios Boursinos

01:10 PM DimitriosWAAS.pdf

Dimitrios Boursinos

07/06/2020

01:02 PM Document: Verification of Deep Convolutional Neural Networks Using ImageStars

Hoang-Dung Tran, Stanley Bak, Weiming Xiang, Taylor T. Johnson, "Verification of Deep Convolutional Neural Networks U...

01:02 PM Document: Improved Geometric Path Enumeration for Verifying ReLU Neural Networks

Stanley Bak, Hoang-Dung Tran, Kerianne Hobbs, Taylor T. Johnson, "Improved Geometric Path Enumeration for Verifying R...

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

Hoang-Dung Tran, Xiaodong Yang, Diego Manzanas Lopez, Patrick Musau, Luan Viet Nguyen, Weiming Xiang, Stanley Bak, Ta...