Krishnendu Chatterjee
21 papers · 2016–2026 · 6 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+6 more ↓ Show less ↑
🗺️ Taxonomy Completionist (32) 🏃 Academic Marathon · Half 🌍 Conference Polyglot · Silver 🌉 Interdisciplinary Bridge · Silver 🐣 Hot Topic Early Bird
🧬
Topic Evolution
🏆
Keyword Champion
(4)
🗃️
Keyword Collector
(90)
💎
Century Club · Bronze
🔥
Unstoppable · Bronze
🌈
Renaissance Researcher
(6)
Top co-authors
Research topics
Artificial Intelligence
(15)
Core AI
(15)
Reinforcement Learning
(13)
Machine Learning
(12)
Methods
(11)
Optimization & Theory
(8)
Mathematics & Optimization
(6)
Optimization
(6)
Applications
(4)
Learning Types
(4)
Robotics
(3)
Computer Science
(2)
Foundations
(2)
Deep Learning
(1)
Knowledge & Reasoning
(1)
Keywords
markov decision process
(5)
reinforcement learning
(5)
formal verification
(5)
stochastic game
(4)
partially observable markov decision process
(4)
stochastic control
(3)
parity objective
(2)
policy learning
(2)
linear programming
(2)
sequential decision making
(2)
robust mdp
(2)
computational complexity
(2)
probabilistic model checking
(2)
reach-avoid specification
(2)
value iteration
(2)
policy optimization
(2)
neural network
(2)
policy iteration
(2)
probability distribution
(1)
value function
(1)
Papers
Qualitative Analysis of ω-Regular Objectives on Robust MDPs
AAAI 2026
Revealing POMDPs: Qualitative and Quantitative Analysis for Parity Objectives
AAAI 2026
Strongly Polynomial Time Complexity of Policy Iteration for $L_∞$ Robust MDPs
COLT 2026
Limit-sure Reachability for Small Memory Policies in POMDPs is NP-complete
UAI 2025
Linear Equations with Min and Max Operators: Computational Complexity
AAAI 2025
Lower Bound on Howard Policy Iteration for Deterministic Markov Decision Processes
UAI 2025
Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization
AAAI 2025
Certified Policy Verification and Synthesis for MDPs under Distributional Reach-Avoidance Properties
IJCAI 2024
Reinforcement Learning from Reachability Specifications: PAC Guarantees with Expected Conditional Distance
ICML 2024
Solving Long-run Average Reward Robust MDPs via Stochastic Games
IJCAI 2024
Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees
NeurIPS 2023
Learning Control Policies for Stochastic Systems with Reach-Avoid Guarantees
AAAI 2023
Quantization-Aware Interval Bound Propagation for Training Certifiably Robust Quantized Neural Networks
AAAI 2023
Stability Verification in Stochastic Control Systems via Neural Network Supermartingales
AAAI 2022
Infinite Time Horizon Safety of Bayesian Neural Networks
NeurIPS 2021
Solving Partially Observable Stochastic Shortest-Path Games
IJCAI 2021
Reinforcement Learning of Risk-Constrained Policies in Markov Decision Processes
AAAI 2020
Computational Approaches for Stochastic Shortest Path on Succinct MDPs
IJCAI 2018
Expectation Optimization with Probabilistic Guarantees in POMDPs with Discounted-Sum Objectives
IJCAI 2018
Goal-HSVI: Heuristic Search Value Iteration for Goal POMDPs
IJCAI 2018
Robust Draws in Balanced Knockout Tournaments
IJCAI 2016