PPaperPicks

Mehrdad Karrabi

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

DBLP profile ↗ORCID search ↗

Venues

AAAI ×2COLT ×1IJCAI ×1

Frequent coauthors

Ali Asadi
DBLP profile ↗ORCID search ↗
×2
Krishnendu Chatterjee
DBLP profile ↗ORCID search ↗
×2

Papers

  1. Qualitative Analysis of ω-Regular Objectives on Robust MDPs
    AAAI 2026 ·
    Ali Asadi
    DBLP profile ↗ORCID search ↗
  2. Strongly Polynomial Time Complexity of Policy Iteration for L∞ Robust MDPs
    COLT 2026 ·
    Ali Asadi
    DBLP profile ↗ORCID search ↗
  3. Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization
    AAAI 2025 ·
    Krishnendu Chatterjee
    DBLP profile ↗ORCID search ↗
  4. Solving Long-run Average Reward Robust MDPs via Stochastic Games
    IJCAI 2024 ·
    Krishnendu Chatterjee
    DBLP profile ↗ORCID search ↗