Mohammad Afzal

According to our database, Mohammad Afzal authored at least 6 papers between 2019 and 2023.

Collaborative distances:

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

2023

Using Counterexamples to Improve Robustness Verification in Neural Networks.

Mohammad Afzal, Ashutosh Gupta, S. Akshay

Proceedings of the Automated Technology for Verification and Analysis, 2023

LTL-Based Non-Markovian Inverse Reinforcement Learning.

Mohammad Afzal, Sankalp Gambhir, Ashutosh Gupta, S. Krishna, Ashutosh Trivedi, Alvaro Velasquez

Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023

2022

Efficiently Finding Adversarial Examples with DNN Preprocessing.

Avriti Chauhan, Mohammad Afzal, Hrishikesh Karmarkar, Yizhak Yisrael Elboher, Kumar Madhukar, Guy Katz

CoRR, 2022

2021

Quantitative Learning of LTL from Finite Traces.

Mohammad Afzal, Sankalp Gambhir, Ashutosh Gupta, S. Krishna

CoRR, 2021

2020

VeriAbs : Verification by Abstraction and Test Generation (Competition Contribution).

Mohammad Afzal, Supratik Chakraborty, Avriti Chauhan, Bharti Chimdyalwar, Priyanka Darke, Ashutosh Gupta, Shrawan Kumar, Charles Babu M, Divyesh Unadkat, R. Venkatesh

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

2019

VeriAbs : Verification by Abstraction and Test Generation.

Mohammad Afzal, Asia A, Avriti Chauhan, Bharti Chimdyalwar, Priyanka Darke, Advaita Datar, Shrawan Kumar, R. Venkatesh

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019