Krishnendu Chatterjee
20 papers · 2016–2026 · 5 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+7 more ↓ Show less ↑
π§ Keyword Pioneer π Interdisciplinary Bridge π Conference Polyglot (5) π Academic Marathon (9) π Cross-Pollinator (8)
π
Interdisciplinary Bridge
π
Conference Polyglot
(5)
π
Academic Marathon
(9)
π
Keyword Champion
(3)
π
Century Club
(18)
ποΈ
Keyword Collector
(77)
π₯
Unstoppable
(6)
Conferences
AAAI (8)
IJCAI (7)
NIPS (2)
UAI (2)
ICML (1)
Top co-authors
Keywords
markov decision process
(5)
formal verification
(5)
reinforcement learning
(4)
stochastic game
(3)
partially observable markov decision process
(3)
stochastic control
(3)
value iteration
(2)
robust mdp
(2)
reach-avoid specification
(2)
parity objective
(2)
neural network
(2)
probabilistic model checking
(2)
policy optimization
(2)
probability distribution
(1)
computational complexity
(1)
value function
(1)
posterior sampling
(1)
adversarial robustness
(1)
planning under uncertainty
(1)
automated reasoning
(1)
Papers
Revealing POMDPs: Qualitative and Quantitative Analysis for Parity Objectives
AAAI 2026
Qualitative Analysis of Ο-Regular Objectives on Robust MDPs
AAAI 2026
Linear Equations with Min and Max Operators: Computational Complexity
AAAI 2025
Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization
AAAI 2025
Lower Bound on Howard Policy Iteration for Deterministic Markov Decision Processes
UAI 2025
Limit-sure Reachability for Small Memory Policies in POMDPs is NP-complete
UAI 2025
Solving Long-run Average Reward Robust MDPs via Stochastic Games
IJCAI 2024
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
Quantization-Aware Interval Bound Propagation for Training Certifiably Robust Quantized Neural Networks
AAAI 2023
Learning Control Policies for Stochastic Systems with Reach-Avoid Guarantees
AAAI 2023
Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees
NIPS 2023
Stability Verification in Stochastic Control Systems via Neural Network Supermartingales
AAAI 2022
Infinite Time Horizon Safety of Bayesian Neural Networks
NIPS 2021
Solving Partially Observable Stochastic Shortest-Path Games
IJCAI 2021
Reinforcement Learning of Risk-Constrained Policies in Markov Decision Processes
AAAI 2020
Goal-HSVI: Heuristic Search Value Iteration for Goal POMDPs
IJCAI 2018
Computational Approaches for Stochastic Shortest Path on Succinct MDPs
IJCAI 2018
Expectation Optimization with Probabilistic Guarantees in POMDPs with Discounted-Sum Objectives
IJCAI 2018
Robust Draws in Balanced Knockout Tournaments
IJCAI 2016