Krishnendu Chatterjee
Institute of Science and Technology Austria
H-index: 62
Europe-Austria
Top articles of Krishnendu Chatterjee
Equivalence and Similarity Refutation for Probabilistic Programs
arXiv preprint arXiv:2404.03430
2024/4/4
Amplifiers of selection for the Moran process with both Birth-death and death-Birth updating
PLOS Computational Biology
2024/3/29
Learning Algorithms for Verification of Markov Decision Processes
arXiv preprint arXiv:2403.09184
2024/3/14
Krishnendu Chatterjee
H-Index: 43
Marta Kwiatkowska
H-Index: 43
David Parker
H-Index: 4
Mateusz Ujma
H-Index: 7
Sound and Complete Witnesses for Template-based Verification of LTL Properties on Polynomial Programs
arXiv preprint arXiv:2403.05386
2024/3/8
Krishnendu Chatterjee
H-Index: 43
Ehsan Kafshdar Goharshady
H-Index: 2
Quantitative bounds on resource usage of probabilistic programs
2024/3/6
Krishnendu Chatterjee
H-Index: 43
Efficiency and resilience of cooperation in asymmetric social dilemmas
Proceedings of the National Academy of Sciences
2024/3/5
Compositional policy learning in stochastic control systems with formal guarantees
Advances in Neural Information Processing Systems
2024/2/13
Mathias Lechner
H-Index: 6
Abhinav Verma
H-Index: 3
Krishnendu Chatterjee
H-Index: 43
Thomas Henzinger
H-Index: 58
On the Convergence Time in Graphical Games: A Locality-Sensitive Approach
2024
Juho Hirvonen
H-Index: 14
Laura Schmid
H-Index: 2
Krishnendu Chatterjee
H-Index: 43
Stefan Schmid
H-Index: 34
Entropic Risk for Turn-Based Stochastic Games
arXiv preprint arXiv:2307.06611
2023/7/13
Christel Baier
H-Index: 27
Krishnendu Chatterjee
H-Index: 43
The effect of environmental information on evolution of cooperation in stochastic games
Nature Communications
2023/7/12
Maria Kleshnina
H-Index: 2
Krishnendu Chatterjee
H-Index: 43
Quantization-aware interval bound propagation for training certifiably robust quantized neural networks
Proceedings of the AAAI Conference on Artificial Intelligence
2023/6/26
Learning control policies for stochastic systems with reach-avoid guarantees
Proceedings of the AAAI Conference on Artificial Intelligence
2023/6/26
Mathias Lechner
H-Index: 6
Krishnendu Chatterjee
H-Index: 43
On lexicographic proof rules for probabilistic termination
Formal Aspects of Computing
2023/6/23
R2: Boosting Liquidity in Payment Channel Networks with Online Admission Control
2023/5/1
A learner-verifier framework for neural network controllers and certificates of stochastic systems
2023/4/22
Krishnendu Chatterjee
H-Index: 43
Mathias Lechner
H-Index: 6
Quantitative assessment can stabilize indirect reciprocity under imperfect information
Nature Communications
2023/4/12
Laura Schmid
H-Index: 2
Krishnendu Chatterjee
H-Index: 43
Coexistence times in the Moran process with environmental heterogeneity
Proceedings of the Royal Society A
2023/3/29
Jakub Svoboda
H-Index: 26
Josef Tkadlec
H-Index: 6
Kamran Kaveh
H-Index: 8
Krishnendu Chatterjee
H-Index: 43
Stochastic games with lexicographic objectives
Formal Methods in System Design
2023/3/8
Krishnendu Chatterjee
H-Index: 43
Maximilian Weininger
H-Index: 6
Faster algorithm for turn-based stochastic games with bounded treewidth
2023
Krishnendu Chatterjee
H-Index: 43
Jakub Svoboda
H-Index: 26
Solving Long-run Average Reward Robust MDPs via Stochastic Games
arXiv preprint arXiv:2312.13912
2023/12/21
Co-Authors
