Muqsit Azeem

Orcid: 0000-0003-4532-8344

According to our database1, Muqsit Azeem authored at least 4 papers between 2018 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Monitizer: Automating Design and Evaluation of Neural Network Monitors.
Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2022
Optimistic and Topological Value Iteration for Simple Stochastic Games.
Proceedings of the Automated Technology for Verification and Analysis, 2022

2021
Direct Construction of Program Alignment Automata for Equivalence Checking.
CoRR, 2021

2018
Generalizing specific-instance interpolation proofs with SyGuS.
Proceedings of the 40th International Conference on Software Engineering: New Ideas and Emerging Results, 2018


  Loading...