Muqsit Azeem

According to our database, Muqsit Azeem authored at least 3 papers between 2018 and 2022.

Collaborative distances:

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

2022

Optimistic and Topological Value Iteration for Simple Stochastic Games.

Muqsit Azeem, Alexandros Evangelidis, Jan Kretínský, Alexander Slivinskiy, Maximilian Weininger

Proceedings of the Automated Technology for Verification and Analysis, 2022

2021

Direct Construction of Program Alignment Automata for Equivalence Checking.

Manish Goyal, Muqsit Azeem, Kumar Madhukar, R. Venkatesh

CoRR, 2021

2018

Generalizing specific-instance interpolation proofs with SyGuS.

Muqsit Azeem, Kumar Madhukar, R. Venkatesh

Proceedings of the 40th International Conference on Software Engineering: New Ideas and Emerging Results, 2018