‪Muqsit Azeem‬ - ‪Google Scholar‬

Get my own profile

Cited by

	All	Since 2019
Citations	12	12
h-index	2	2
i10-index	0	0

0

6

3

202020212022202320241 2 6 3

Public access

1 article

0 articles

available

not available

Based on funding mandates

Co-authors

Kumar MadhukarTata Research Development and Design CenterVerified email at tcs.com
Maximilian WeiningerTechnical University of MunichVerified email at tum.de
Jan KřetínskýMasaryk University Brno; Technical University of MunichVerified email at fi.muni.cz
Alexandros EvangelidisTechnische Universität MünchenVerified email at in.tum.de
Manish GoyalUniversity of North Carolina at Chapel HillVerified email at alumni.unc.edu

Muqsit Azeem

Muqsit Azeem

Doctoral Candidate, Technical University of Munich

Verified email at in.tum.de - Homepage

Formal Verification Learning Stochastic Games


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Optimistic and topological value iteration for simple stochastic games M Azeem, A Evangelidis, J Křetínský, A Slivinskiy, M Weininger International Symposium on Automated Technology for Verification and …, 2022	7	2022
Direct Construction of Program Alignment Automata for Equivalence Checking M Goyal, M Azeem, K Madhukar, R Venkatesh arXiv preprint arXiv:2109.01864, 2021	3	2021
Generalizing specific-instance interpolation proofs with SyGuS M Azeem, K Madhukar, R Venkatesh Proceedings of the 40th International Conference on Software Engineering …, 2018	2	2018

The system can't perform the operation now. Try again later.

Articles 1–3