Abstraction based Output Range Analysis for Neural Networks. - Pavithra Prabhakar; Zahra Rahimi Afzal (NeurIPS, 2019)

Verifying Band Convergence for Sampled Control Systems. - P. Ezudheen; Zahra Rahimi Afzal; Pavithra Prabhakar; Deepak D'Souza; Meenakshi D'Souza (NFM, 2020)

Optimal tool path planning for 3D printing with spatio-temporal and thermal constraints. - Zahra Rahimi Afzal; Pavana Prabhakar; Pavithra Prabhakar (CoRR, 2020)