Mohammad Afzal

Orcid: 0000-0002-6173-3959

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 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.
IEEE Access, 2024

Unifying Syntactic and Semantic Abstractions for Deep Neural Networks.
Proceedings of the Formal Methods for Industrial Critical Systems, 2024

2023
Using Counterexamples to Improve Robustness Verification in Neural Networks.
Proceedings of the Automated Technology for Verification and Analysis, 2023

LTL-Based Non-Markovian Inverse Reinforcement Learning.
Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023

2022
Efficiently Finding Adversarial Examples with DNN Preprocessing.
CoRR, 2022

2021
Quantitative Learning of LTL from Finite Traces.
CoRR, 2021

2020
VeriAbs : Verification by Abstraction and Test Generation (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

2019
VeriAbs : Verification by Abstraction and Test Generation.
Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019


  Loading...