Activity
From 06/18/2021 to 07/17/2021
06/21/2021
- 01:24 PM Assurance-based Learning-enabled Cyber-Physical Systems 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 Assurance-based Learning-enabled Cyber-Physical Systems 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...
Also available in: Atom