Scholar
Krishnendu Chatterjee
Google Scholar ID: 1kaW8bwAAAAJ
Professor, IST Austria
Game theory
Logic and automata theory
Algorithms
Evolutionary Game theory
Algorithmic Game Theory
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
9,411
H-index
48
i10-index
198
Publications
20
Co-authors
91
list available
Contact
CV
Open ↗
Publications
25 items
Quantitative Analysis of $ω$-Regular Robust MDPs
2026
Cited
0
Noise-aware Verification and Synthesis of Quantum Programs
2026
Cited
0
PAC Learning in Turn-Based Stochastic Games with Reachability Objectives: A Decentralized Private Approach via Expected Conditional Distance
2026
Cited
0
Reinforcement Learning for Reachability: Guaranteeing Asymptotic Optimality
2026
Cited
0
Automated Approach for Solving Infinite-state Polynomial Reachability Games
2026
Cited
0
On the Complexity of Discounted Robust MDPs with $L_p$ Uncertainty Sets
2026
Cited
0
Multi-Environment POMDPs with Finite-Horizon Objectives
2026
Cited
0
SuperDP: Differential Privacy Refutation via Supermartingales
2026
Cited
0
Load more
Co-authors
16 total
Thomas Henzinger
IST Austria
Laurent Doyen
CNRS - LMF, ENS Paris-Saclay
Andreas Pavlogiannis
Associate Professor, Aarhus University
Amir Goharshady
Associate Professor, University of Oxford
Rasmus Ibsen-Jensen
Lecturer, University of Liverpool
Hongfei Fu
Shanghai Jiao Tong University
Djordje Zikelic
Singapore Management University
Luca de Alfaro
Professor, Computer Science and Engineering, UC Santa Cruz
