Mehrdad Karrabi

According to our database, Mehrdad Karrabi authored at least 3 papers between 2023 and 2024.

Collaborative distances:

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

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

CoRR, 2024

2023

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

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

CoRR, 2023

Repeated Game Dynamics in Population Protocols.

Dan Alistarh, Krishnendu Chatterjee, Mehrdad Karrabi, John Lazarsfeld

CoRR, 2023