Mehrdad Karrabi

5 papers at tracked venues · 2 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

AAAI ×2 COLT ×1 FM ×1 IJCAI ×1

Frequent coauthors

Krishnendu Chatterjee

×5

Ehsan Kafshdar Goharshady

×5

Dorde Zikelic

×3

Ali Asadi

×2

Ali Shafiee

×1

Alipasha Montaseri

×1

Carlo Pagano

×1

Harshit J. Motwani

×1

Maximilian Seeliger

×1

Petr Novotný

×1

Amir Kafshdar Goharshady

×1

Papers

Qualitative Analysis of ω-Regular Objectives on Robust MDPs
AAAI 2026 ·
Ali Asadi
,
Krishnendu Chatterjee
,
Ehsan Kafshdar Goharshady
, Mehrdad Karrabi,
Ali Shafiee
Strongly Polynomial Time Complexity of Policy Iteration for L∞ Robust MDPs
COLT 2026 ·
Ali Asadi
,
Krishnendu Chatterjee
,
Ehsan Kafshdar Goharshady
, Mehrdad Karrabi,
Alipasha Montaseri
,
Carlo Pagano
Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization
AAAI 2025 ·
Krishnendu Chatterjee
,
Ehsan Kafshdar Goharshady
, Mehrdad Karrabi,
Harshit J. Motwani
,
Maximilian Seeliger
,
Dorde Zikelic
Solving Long-run Average Reward Robust MDPs via Stochastic Games
IJCAI 2024 ·
Krishnendu Chatterjee
,
Ehsan Kafshdar Goharshady
, Mehrdad Karrabi,
Petr Novotný
,
Dorde Zikelic
Sound and Complete Witnesses for Template-Based Verification of LTL Properties on Polynomial Programs
FM 2024 ·
Krishnendu Chatterjee
,
Amir Kafshdar Goharshady
,
Ehsan Kafshdar Goharshady
, Mehrdad Karrabi,
Dorde Zikelic