VeriAbs : Verification by Abstraction and Test Generation. - Mohammad Afzal; Asia A; Avriti Chauhan; Bharti Chimdyalwar; Priyanka Darke; Advaita Datar; Shrawan Kumar 001; R. Venkatesh 001 (ASE, 2019)

VeriAbs : Verification by Abstraction and Test Generation (Competition Contribution). - Mohammad Afzal; Supratik Chakraborty; Avriti Chauhan; Bharti Chimdyalwar; Priyanka Darke; Ashutosh Gupta 001; Shrawan Kumar 001; Charles Babu M; Divyesh Unadkat; R. Venkatesh 001 (TACAS (2), 2020)

Quantitative Learning of LTL from Finite Traces. - Mohammad Afzal; Sankalp Gambhir; Ashutosh Gupta; S. Krishna 004 (CoRR, 2021)

Efficiently Finding Adversarial Examples with DNN Preprocessing. - Avriti Chauhan; Mohammad Afzal; Hrishikesh Karmarkar; Yizhak Yisrael Elboher; Kumar Madhukar; Guy Katz (CoRR, 2022)

LTL-Based Non-Markovian Inverse Reinforcement Learning. - Mohammad Afzal; Sankalp Gambhir; Ashutosh Gupta; S. Krishna 004; Ashutosh Trivedi 001; Alvaro Velasquez (AAMAS, 2023)

Using Counterexamples to Improve Robustness Verification in Neural Networks. - Mohammad Afzal; Ashutosh Gupta 001; S. Akshay 001 (ATVA (1), 2023)

Unifying Syntactic and Semantic Abstractions for Deep Neural Networks. - Sanaa Siddiqui; Diganta Mukhopadhyay; Mohammad Afzal; Hrishikesh Karmarkar; Kumar Madhukar (FMICS, 2024)

Cross-Sector Application of Machine Learning in Telecommunications: Enhancing Customer Retention Through Comparative Analysis of Ensemble Methods. - Mohammad Afzal; Shanur Rahman; Disha Singh; Ale Imran (IEEE Access, 2024)