Activity
From 06/14/2021 to 07/13/2021
06/21/2021
- 01:24 PM Document: Assuring Learning-Enabled Components in Small Unmanned Aircraft Systems
Krishna Muvva, Justin M. Bradley, Marilyn Wolf, Taylor T. Johnson, "Assuring Learning-Enabled Compon...- 01:22 PM Document: Verification of Neural Network Compression of ACAS Xu Lookup Tables with Star Set Reachability
Diego Manzanas Lopez, Taylor T. Johnson, Hoang-Dung Tran, Stanley Bak, Xin Chen, Kerianne Hobbs, "Verification of Neu...
06/14/2021
- 01:13 PM Document: Reachable Set Estimation for Neural Network Control Systems: A Simulation-Guided Approach
Weiming Xiang, Hoang-Dung Tran, Xiaodong Yang, Taylor T. Johnson, "Reachable Set Estimation for Neural Network Contro...
- 01:12 PM Document: Robustness Verification of Semantic Segmentation Neural Networks using Relaxed Reachability
Hoang-Dung Tran, Neelanjana Pal, Patrick Musau, Xiaodong Yang, Nathaniel P. Hamilton, Diego Manzanas Lopez, Stanley B...
- 09:56 AM Document: Detection of Dataset Shifts in Learning-Enabled Cyber-Physical Systems using Variational Autoencoder for Regression
Cyber-physical systems (CPSs) use learning-enabled components (LECs) extensively to cope with various complex tasks u...
Also available in: Atom