PPaperPicks

Krishnendu Chatterjee

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

DBLP profile ↗ORCID search ↗

Venues

AAAI ×4IJCAI ×2PLDI ×2UAI ×2COLT ×1FM ×1ICML ×1OOPSLA ×1

Frequent coauthors

Ehsan Kafshdar Goharshady
×7
Dorde Zikelic
×7
Ali Asadi
×5
Mehrdad Karrabi
×5
Raimundo Saona
×3
Ali Shafiee
×2
Jakub Svoboda
×2
Tobias Meggendorfer
×2
Petr Novotný
×2
Amir Kafshdar Goharshady
×2
David Lurie
×1
Alipasha Montaseri
×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. Revealing POMDPs: Qualitative and Quantitative Analysis for Parity Objectives
    AAAI 2026 ·
    Ali Asadi
    , Krishnendu Chatterjee,
    David Lurie
    ,
    Raimundo Saona
  3. 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
  4. SuperDP: Differential Privacy Refutation via Supermartingales
    PLDI 2026 · Krishnendu Chatterjee,
    Ehsan Kafshdar Goharshady
    ,
    Dorde Zikelic
  5. Limit-sure Reachability for Small Memory Policies in POMDPs is NP-complete
    UAI 2025 ·
    Ali Asadi
    , Krishnendu Chatterjee,
    Raimundo Saona
    ,
    Ali Shafiee
  6. Linear Equations with Min and Max Operators: Computational Complexity
    AAAI 2025 · Krishnendu Chatterjee,
    Ruichen Luo
    ,
    Raimundo Saona
    ,
    Jakub Svoboda
  7. Lower Bound on Howard Policy Iteration for Deterministic Markov Decision Processes
    UAI 2025 ·
    Ali Asadi
    , Krishnendu Chatterjee,
    Jakob de Raaij
  8. 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
  9. Certified Policy Verification and Synthesis for MDPs under Distributional Reach-Avoidance Properties
    IJCAI 2024 ·
    S. Akshay
    , Krishnendu Chatterjee,
    Tobias Meggendorfer
    ,
    Dorde Zikelic
  10. Equivalence and Similarity Refutation for Probabilistic Programs
    PLDI 2024 · Krishnendu Chatterjee,
    Ehsan Kafshdar Goharshady
    ,
    Petr Novotný
    ,
    Dorde Zikelic
  11. Quantitative Bounds on Resource Usage of Probabilistic Programs
    OOPSLA 2024 · Krishnendu Chatterjee,
    Amir Kafshdar Goharshady
    ,
    Tobias Meggendorfer
    ,
    Dorde Zikelic
  12. Reinforcement Learning from Reachability Specifications: PAC Guarantees with Expected Conditional Distance
    ICML 2024 ·
    Jakub Svoboda
    ,
    Suguman Bansal
    , Krishnendu Chatterjee
  13. Solving Long-run Average Reward Robust MDPs via Stochastic Games
    IJCAI 2024 · Krishnendu Chatterjee,
    Ehsan Kafshdar Goharshady
    ,
    Mehrdad Karrabi
    ,
    Petr Novotný
    ,
    Dorde Zikelic
  14. 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