Mehrdad Karrabi
Scholar

Mehrdad Karrabi

Google Scholar ID: --4D14wAAAAJ
Ph.D. candidate, Institute of Science and Technology Austria (ISTA)
Formal MethodsGame TheoryBlockchain
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
25
 
H-index
3
 
i10-index
0
 
Publications
7
 
Co-authors
6
list available
Contact
No contact links provided.
Publications
4 items
Automated Approach for Solving Infinite-state Polynomial Reachability Games
2026
Cited
0
Strongly Polynomial Time Complexity of Policy Iteration for $L_\infty$ Robust MDPs
2026
Cited
0
Qualitative Analysis of $omega$-Regular Objectives on Robust MDPs
2025
Cited
0
PolyQEnt: A Polynomial Quantified Entailment Solver
2024
Cited
0
Resume (English only)
Co-authors
6 total
Krishnendu Chatterjee
Krishnendu Chatterjee
Professor, IST Austria
Djordje Zikelic
Djordje Zikelic
Singapore Management University
Ehsan Kafshdar Goharshady
Ehsan Kafshdar Goharshady
PhD Candidate, IST Austria
Amir Goharshady
Amir Goharshady
Associate Professor, University of Oxford
Dan Alistarh
Dan Alistarh
Professor at IST Austria
John Lazarsfeld
John Lazarsfeld
Singapore University of Technology and Design