PPaperPicks

Ehsan Kafshdar Goharshady

7 papers at tracked venues · 4 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

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

Frequent coauthors

Krishnendu Chatterjee
×7
Mehrdad Karrabi
×5
Dorde Zikelic
×5
Ali Asadi
×2
Petr Novotný
×2
Ali Shafiee
×1
Alipasha Montaseri
×1
Carlo Pagano
×1
Harshit J. Motwani
×1
Maximilian Seeliger
×1
Amir Kafshdar Goharshady
×1

Papers

  1. Qualitative Analysis of ω-Regular Objectives on Robust MDPs
    AAAI 2026 ·
    Ali Asadi
    ,
    Krishnendu Chatterjee
    , Ehsan Kafshdar Goharshady,
    Mehrdad Karrabi
    ,
    Ali Shafiee
  2. 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
  3. SuperDP: Differential Privacy Refutation via Supermartingales
    PLDI 2026 ·
    Krishnendu Chatterjee
    , Ehsan Kafshdar Goharshady,
    Dorde Zikelic
  4. 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
  5. Equivalence and Similarity Refutation for Probabilistic Programs
    PLDI 2024 ·
    Krishnendu Chatterjee
    , Ehsan Kafshdar Goharshady,
    Petr Novotný
    ,
    Dorde Zikelic
  6. Solving Long-run Average Reward Robust MDPs via Stochastic Games
    IJCAI 2024 ·
    Krishnendu Chatterjee
    , Ehsan Kafshdar Goharshady,
    Mehrdad Karrabi
    ,
    Petr Novotný
    ,
    Dorde Zikelic
  7. 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