Mohammad Afzal

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 7

Top Topics

Inverse Reinforcement Learning

Shallow Semantic

Test Generation

Top Venues

Publications

Sanaa Siddiqui, Diganta Mukhopadhyay, Mohammad Afzal, Hrishikesh Karmarkar, Kumar Madhukar
Unifying Syntactic and Semantic Abstractions for Deep Neural Networks. FMICS (2024)
Mohammad Afzal, Sankalp Gambhir, Ashutosh Gupta, Krishna S, Ashutosh Trivedi, Alvaro Velasquez
LTL-Based Non-Markovian Inverse Reinforcement Learning. AAMAS (2023)
Mohammad Afzal, Ashutosh Gupta, S. Akshay
Using Counterexamples to Improve Robustness Verification in Neural Networks. ATVA (1) (2023)
Avriti Chauhan, Mohammad Afzal, Hrishikesh Karmarkar, Yizhak Yisrael Elboher, Kumar Madhukar, Guy Katz
Efficiently Finding Adversarial Examples with DNN Preprocessing. CoRR (2022)
Mohammad Afzal, Sankalp Gambhir, Ashutosh Gupta, Shankaranarayanan Krishna
Quantitative Learning of LTL from Finite Traces. CoRR (2021)
Mohammad Afzal, Supratik Chakraborty, Avriti Chauhan, Bharti Chimdyalwar, Priyanka Darke, Ashutosh Gupta, Shrawan Kumar, Charles Babu M, Divyesh Unadkat, R. Venkatesh
VeriAbs : Verification by Abstraction and Test Generation (Competition Contribution). TACAS (2) (2020)
Mohammad Afzal, A. Asia, Avriti Chauhan, Bharti Chimdyalwar, Priyanka Darke, Advaita Datar, Shrawan Kumar, R. Venkatesh
VeriAbs : Verification by Abstraction and Test Generation. ASE (2019)