Krishnendu Chatterjee
20 papers
· 2016–2026
· 5 conferences
· across top CS/AI conferences
Achievements
π£
Hot Topic Early Bird
π§
Keyword Pioneer
π
Cross-Pollinator
(8)
π
Renaissance Researcher
(8)
πΊοΈ
Taxonomy Completionist
(28)
π
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)