Activity
From 03/16/2020 to 04/14/2020
04/13/2020
- 06:16 PM Assurance-based Learning-enabled Cyber-Physical Systems Document: Workflow Automation for Cyber Physical System Development Processes
Development of Cyber Physical Systems (CPSs) requires close interaction between developers with expertise in many dom...
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