Mehrdad Karrabi

16 papers A* 5B 1Journal 9Unranked 1
YearRankTypeTitle / Venue / Authors
2026 A* conf
Qualitative Analysis of ω-Regular Objectives on Robust MDPs.
AAAI
Ali Asadi, Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Ali Shafiee
2026 J jnl
Strongly Polynomial Time Complexity of Policy Iteration for L
CoRR
Ali Asadi, Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Alipasha Montaseri, Carlo Pagano
2025 B conf
PolyQEnt: A Polynomial Quantified Entailment Solver.
ATVA
Krishnendu Chatterjee, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Milad Saadat, Maximilian Seeliger, Dorde Zikelic
2025 J jnl
Qualitative Analysis of ω-Regular Objectives on Robust MDPs.
CoRR
Ali Asadi, Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Ali Shafiee
2025 A* conf
Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization.
AAAI
Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Harshit J. Motwani, Maximilian Seeliger, Dorde Zikelic
2024 A* conf
Fully Automated Selfish Mining Analysis in Efficient Proof Systems Blockchains.
PODC
Krishnendu Chatterjee, Amirali Ebrahim-Zadeh, Mehrdad Karrabi, Krzysztof Pietrzak, Michelle Yeo, Dorde Zikelic
2024 J jnl
Fully Automated Selfish Mining Analysis in Efficient Proof Systems Blockchains.
CoRR
Krishnendu Chatterjee, Amirali Ebrahim-Zadeh, Mehrdad Karrabi, Krzysztof Pietrzak, Michelle Yeo, Dorde Zikelic
2024 J jnl
Fully Automated Selfish Mining Analysis in Efficient Proof Systems Blockchains.
IACR Cryptol. ePrint Arch.
Krishnendu Chatterjee, Amirali Ebrahim-Zadeh, Mehrdad Karrabi, Krzysztof Pietrzak, Michelle Yeo, Dorde Zikelic
2024 A* conf
Game Dynamics and Equilibrium Computation in the Population Protocol Model.
PODC
Dan Alistarh, Krishnendu Chatterjee, Mehrdad Karrabi, John Lazarsfeld
2024 J jnl
PolyHorn: A Polynomial Horn Clause Solver.
CoRR
Krishnendu Chatterjee, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Milad Saadat, Dorde Zikelic
2024 J jnl
Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization.
CoRR
Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Harshit J. Motwani, Maximilian Seeliger, Dorde Zikelic
2024 A* conf
Solving Long-run Average Reward Robust MDPs via Stochastic Games.
IJCAI
Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Petr Novotný, Dorde Zikelic
2024 — conf
Sound and Complete Witnesses for Template-Based Verification of LTL Properties on Polynomial Programs.
FM (1)
Krishnendu Chatterjee, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Dorde Zikelic
2024 J jnl
Sound and Complete Witnesses for Template-based Verification of LTL Properties on Polynomial Programs.
CoRR
Krishnendu Chatterjee, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Dorde Zikelic
2023 J jnl
Repeated Game Dynamics in Population Protocols.
CoRR
Dan Alistarh, Krishnendu Chatterjee, Mehrdad Karrabi, John Lazarsfeld
2023 J jnl
Solving Long-run Average Reward Robust MDPs via Stochastic Games.
CoRR
Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Petr Novotný, Dorde Zikelic