Activity
From 03/03/2020 to 04/01/2020
03/31/2020
Final version
03/16/2020
- 01:32 PM 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 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 ...
03/12/2020
IEEE version
- 08:22 PM Document: DeepNNCar: A Testbed for Deploying and Testing Middleware Frameworks for Autonomous Robots
This demo showcases the features of an adaptive middleware framework for resource constrained autonomous robots like ...
- 08:19 PM Document: A Methodology for Automating Assurance Case Generation
Safety Case has become an integral component for safety-certification in various Cyber Physical System domains includ...
03/11/2020
- 09:01 AM Document: Dynamic-Weighted Simplex Strategy for Learning Enabled Cyber Physical Systems
Cyber Physical Systems (CPS) have increasingly started using Learning Enabled Components (LECs) for performing percep...
03/09/2020
- 04:25 PM Document: Assurance Monitoring of Cyber-Physical Systems with Machine Learning Components
Machine learning components such as deep neural networks are used extensively in Cyber-physical Systems (CPS). Howeve...
Also available in: Atom