Mehrdad Karrabi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
6
Active years
2024–2026
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | AAAI | Qualitative Analysis of ω-Regular Objectives on Robust MDPs. | Ali Asadi, Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Ali Shafiee |
| 2026 | COLT | Strongly Polynomial Time Complexity of Policy Iteration for L | Ali Asadi, Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Alipasha Montaseri, Carlo Pagano |
| 2025 | AAAI | Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization. | Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Harshit J. Motwani, Maximilian Seeliger, Dorde Zikelic |
| 2025 | ATVA | PolyQEnt: A Polynomial Quantified Entailment Solver. | Krishnendu Chatterjee, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Milad Saadat, Maximilian Seeliger, Dorde Zikelic |
| 2024 | FM | Sound and Complete Witnesses for Template-Based Verification of LTL Properties on Polynomial Programs. | Krishnendu Chatterjee, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Dorde Zikelic |
| 2024 | IJCAI | Solving Long-run Average Reward Robust MDPs via Stochastic Games. | Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Petr Novotn, Dorde Zikelic |
| 2024 | PODC | Game Dynamics and Equilibrium Computation in the Population Protocol Model. | Dan Alistarh, Krishnendu Chatterjee, Mehrdad Karrabi, John Lazarsfeld |
| 2024 | PODC | Fully Automated Selfish Mining Analysis in Efficient Proof Systems Blockchains. | Krishnendu Chatterjee, Amirali Ebrahim-Zadeh, Mehrdad Karrabi, Krzysztof Pietrzak, Michelle Yeo, Dorde Zikelic |