Mehrdad Karrabi

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 7

Top Topics

Markov Decision Problems

Computer Systems

Stochastic Games

Fully Automated

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Dan Alistarh, Krishnendu Chatterjee, Mehrdad Karrabi, John Lazarsfeld
Game Dynamics and Equilibrium Computation in the Population Protocol Model. PODC (2024)
Krishnendu Chatterjee, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Dorde Zikelic
Sound and Complete Witnesses for Template-based Verification of LTL Properties on Polynomial Programs. CoRR (2024)
Krishnendu Chatterjee, Amirali Ebrahim-Zadeh, Mehrdad Karrabi, Krzysztof Pietrzak, Michelle Yeo, Dorde Zikelic
Fully Automated Selfish Mining Analysis in Efficient Proof Systems Blockchains. PODC (2024)
Krishnendu Chatterjee, Amirali Ebrahim-Zadeh, Mehrdad Karrabi, Krzysztof Pietrzak, Michelle Yeo, Dorde Zikelic
Fully Automated Selfish Mining Analysis in Efficient Proof Systems Blockchains. CoRR (2024)
Krishnendu Chatterjee, Amirali Ebrahim-Zadeh, Mehrdad Karrabi, Krzysztof Pietrzak, Michelle Yeo, Dorde Zikelic
Fully Automated Selfish Mining Analysis in Efficient Proof Systems Blockchains. IACR Cryptol. ePrint Arch. 2024 (2024)
Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Petr Novotný, Dorde Zikelic
Solving Long-run Average Reward Robust MDPs via Stochastic Games. CoRR (2023)
Dan Alistarh, Krishnendu Chatterjee, Mehrdad Karrabi, John Lazarsfeld
Repeated Game Dynamics in Population Protocols. CoRR (2023)