Mohammad Afzal

Orcid: 0000-0002-6173-3959

According to our database¹, Mohammad Afzal authored at least 8 papers between 2019 and 2024.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2024

Cross-Sector Application of Machine Learning in Telecommunications: Enhancing Customer Retention Through Comparative Analysis of Ensemble Methods.

[BibT_eX]

[DOI]

IEEE Access, 2024

Unifying Syntactic and Semantic Abstractions for Deep Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Industrial Critical Systems, 2024

2023

Using Counterexamples to Improve Robustness Verification in Neural Networks.

[BibT_eX]

[DOI]

Mohammad Afzal

Ashutosh Gupta

S. Akshay

Proceedings of the Automated Technology for Verification and Analysis, 2023

LTL-Based Non-Markovian Inverse Reinforcement Learning.

[BibT_eX]

[DOI]

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

2022

Efficiently Finding Adversarial Examples with DNN Preprocessing.

[BibT_eX]

[DOI]

Avriti Chauhan

Mohammad Afzal

Hrishikesh Karmarkar

Yizhak Yisrael Elboher

Kumar Madhukar

Guy Katz

CoRR, 2022

2021

Quantitative Learning of LTL from Finite Traces.

[BibT_eX]

[DOI]

CoRR, 2021

2020

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

[BibT_eX]

[DOI]

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

2019

VeriAbs : Verification by Abstraction and Test Generation.

[BibT_eX]

[DOI]

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

Mohammad Afzal

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...