Mehrdad Karrabi

According to our database, Mehrdad Karrabi authored at least 11 papers between 2023 and 2026.

Collaborative distances:

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

2026

Automated Approach for Solving Infinite-state Polynomial Reachability Games.

Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Maximilian Seeliger, Dorde Zikelic

CoRR, May, 2026

Strongly Polynomial Time Complexity of Policy Iteration for L_∞ Robust MDPs.

Ali Asadi, Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Alipasha Montaseri, Carlo Pagano

CoRR, January, 2026

Qualitative Analysis of ω-Regular Objectives on Robust MDPs.

Ali Asadi, Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Ali Shafiee

Proceedings of the Fortieth AAAI Conference on Artificial Intelligence, 2026

2025

PolyQEnt: A Polynomial Quantified Entailment Solver.

Krishnendu Chatterjee, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Milad Saadat, Maximilian Seeliger, Dorde Zikelic

Proceedings of the Automated Technology for Verification and Analysis, 2025

Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization.

Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Harshit J. Motwani, Maximilian Seeliger, Dorde Zikelic

Proceedings of the Thirty-Ninth AAAI Conference on Artificial Intelligence, 2025

2024

PolyHorn: A Polynomial Horn Clause Solver.

Krishnendu Chatterjee, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Milad Saadat, Dorde Zikelic

CoRR, 2024

Fully Automated Selfish Mining Analysis in Efficient Proof Systems Blockchains.

Krishnendu Chatterjee, Amirali Ebrahim-Zadeh, Mehrdad Karrabi, Krzysztof Pietrzak, Michelle Yeo, Dorde Zikelic

Proceedings of the 43rd ACM Symposium on Principles of Distributed Computing, 2024

Game Dynamics and Equilibrium Computation in the Population Protocol Model.

Dan Alistarh, Krishnendu Chatterjee, Mehrdad Karrabi, John Lazarsfeld

Proceedings of the 43rd ACM Symposium on Principles of Distributed Computing, 2024

Solving Long-run Average Reward Robust MDPs via Stochastic Games.

Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Petr Novotný, Dorde Zikelic

Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024

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

Proceedings of the Formal Methods - 26th International Symposium, 2024

2023

Repeated Game Dynamics in Population Protocols.

Dan Alistarh, Krishnendu Chatterjee, Mehrdad Karrabi, John Lazarsfeld

CoRR, 2023