Krishnendu Chatterjee

Venues

Frequent coauthors

Papers

1. Qualitative Analysis of ω-Regular Objectives on Robust MDPs
   AAAI 2026 ·

   Ali Asadi

   DBLP profile ↗ORCID search ↗
2. Revealing POMDPs: Qualitative and Quantitative Analysis for Parity Objectives
   AAAI 2026 ·

   Ali Asadi

   DBLP profile ↗ORCID search ↗
3. Strongly Polynomial Time Complexity of Policy Iteration for L∞ Robust MDPs
   COLT 2026 ·

   Ali Asadi

   DBLP profile ↗ORCID search ↗
4. Limit-sure Reachability for Small Memory Policies in POMDPs is NP-complete
   UAI 2025 ·

   Ali Asadi

   DBLP profile ↗ORCID search ↗
5. Linear Equations with Min and Max Operators: Computational Complexity
   AAAI 2025 · Krishnendu Chatterjee
6. Lower Bound on Howard Policy Iteration for Deterministic Markov Decision Processes
   UAI 2025 ·

   Ali Asadi

   DBLP profile ↗ORCID search ↗
7. Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization
   AAAI 2025 · Krishnendu Chatterjee
8. Certified Policy Verification and Synthesis for MDPs under Distributional Reach-Avoidance Properties
   IJCAI 2024 ·

   S. Akshay

   DBLP profile ↗ORCID search ↗
9. Reinforcement Learning from Reachability Specifications: PAC Guarantees with Expected Conditional Distance
   ICML 2024 ·

   Jakub Svoboda

   DBLP profile ↗ORCID search ↗
10. Solving Long-run Average Reward Robust MDPs via Stochastic Games
    IJCAI 2024 · Krishnendu Chatterjee