Zahra Rahimi Afzal

According to our database, Zahra Rahimi Afzal authored at least 3 papers between 2019 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2020

Optimal tool path planning for 3D printing with spatio-temporal and thermal constraints.

Zahra Rahimi Afzal, Pavana Prabhakar, Pavithra Prabhakar

CoRR, 2020

Verifying Band Convergence for Sampled Control Systems.

P. Ezudheen, Zahra Rahimi Afzal, Pavithra Prabhakar, Deepak D'Souza, Meenakshi D'Souza

Proceedings of the NASA Formal Methods - 12th International Symposium, 2020

2019

Abstraction based Output Range Analysis for Neural Networks.

Pavithra Prabhakar, Zahra Rahimi Afzal

Proceedings of the Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, 2019