Activity
From 06/20/2021 to 07/19/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...
Also available in: Atom