Linearization based Safety Verification of a Glucose Control Protocol. - Ankita Samaddar; Zahra RahimiNasab; Arvind Easwaran; Ansuman Banerjee; Xue Bai (ISORC, 2019)

Efficient Multi-Class Out-of-Distribution Reasoning for Perception Based Networks: Work-in-Progress. - Shreyas Ramakrishna; Zahra RahimiNasab; Arvind Easwaran; Abhishek Dubey (EMSOFT, 2020)

Out-of-Distribution Detection in Multi-Label Datasets using Latent Space of β-VAE. - Vijaya Kumar Sundar; Shreyas Ramakrishna; Zahra RahimiNasab; Arvind Easwaran; Abhishek Dubey (SP (Workshops), 2020)

Embedded out-of-distribution detection on an autonomous robot platform. - Michael Yuhas; Yeli Feng; Daniel Jun Xian Ng; Zahra RahimiNasab; Arvind Easwaran (CoRR, 2021)

Efficient Out-of-Distribution Detection Using Latent Space of β-VAE for Cyber-Physical Systems. - Shreyas Ramakrishna; Zahra RahimiNasab; Gabor Karsai; Arvind Easwaran; Abhishek Dubey (CoRR, 2021)

Out of Distribution Reasoning by Weakly-Supervised Disentangled Logic Variational Autoencoder. - Zahra RahimiNasab; Michael Yuhas; Arvind Easwaran (ICSRS, 2022)

Efficient Out-of-Distribution Detection Using Latent Space of β-VAE for Cyber-Physical Systems. - Shreyas Ramakrishna; Zahra RahimiNasab; Gabor Karsai; Arvind Easwaran; Abhishek Dubey (ACM Trans. Cyber Phys. Syst., 2022)