Activity
From 03/13/2020 to 04/11/2020
03/31/2020
Final version
03/16/2020
- 01:32 PM Assurance-based Learning-enabled Cyber-Physical Systems Document: Out-of-Distribution Detection in Multi-Label Datasets using Latent Space of $\beta$-VAE
Learning Enabled Components (LECs) are widely being used in a variety of perceptions based autonomy tasks like image ...
- 12:19 PM Assurance-based Learning-enabled Cyber-Physical Systems Document: Case Study: Safety Verification of an Unmanned Underwater Vehicle
This manuscript evaluates the safety of a neural network controller that seeks to ensure that an Unmanned Underwater ...
Also available in: Atom