Shreyas Ramakrishna

activity

20192023

most citedA Methodology for Automating Assurance Case Generation

5 citations · 7 across the 8 of their papers we have counts for

collaborators

Showing 2020Show all

2 papers · 1 filter

cs.RO2020★ 5 cited

A Methodology for Automating Assurance Case Generation

Shreyas Ramakrishna, Charles Hartsell, Abhishek Dubey +2

Safety Case has become an integral component for safety-certification in various Cyber Physical System domains including automotive, aviation, medical devices, and military. The ce…

cs.CV2020★ 1 cited

Out-of-Distribution Detection in Multi-Label Datasets using Latent Space of $β$ -VAE

Vijaya Kumar Sundar, Shreyas Ramakrishna, Zahra Rahiminasab +2

Learning Enabled Components (LECs) are widely being used in a variety of perception based autonomy tasks like image segmentation, object detection, end-to-end driving, etc. These c…

A Methodology for Automating Assurance Case Generation

Out-of-Distribution Detection in Multi-Label Datasets using Latent Space of β-VAE

Out-of-Distribution Detection in Multi-Label Datasets using Latent Space of $β$ -VAE