Zahra Rahimi Afzal

Publication Activity (10 Years)

Years Active: 2019-2020
Publications (10 Years): 4

Top Topics

Aerial Vehicles

Statistical Analysis

Top Venues

Publications

P. Ezudheen, Zahra Rahimi Afzal, Pavithra Prabhakar, Deepak D'Souza, Meenakshi D'Souza
Verifying Band Convergence for Sampled Control Systems. NFM (2020)
Pavithra Prabhakar, Zahra Rahimi Afzal
Abstraction based Output Range Analysis for Neural Networks. CoRR (2020)
Zahra Rahimi Afzal, Pavana Prabhakar, Pavithra Prabhakar
Optimal tool path planning for 3D printing with spatio-temporal and thermal constraints. CoRR (2020)
Pavithra Prabhakar, Zahra Rahimi Afzal
Abstraction based Output Range Analysis for Neural Networks. NeurIPS (2019)