Schmid, Stefan, Jakub Svoboda, and Michelle X Yeo. “Weighted Packet Selection for Rechargeable Links in Cryptocurrency Networks: Complexity and Approximation.”https://doi.org/10.1016/j.tcs.2023.114353__Theoretical Computer Science. Elsevier, 2024.https://doi.org/10.1016/j.tcs.2023.114353 .

Hirvonen, Juho, Laura Schmid, Krishnendu Chatterjee, and Stefan Schmid. “On the Convergence Time in Graphical Games: A Locality-Sensitive Approach.”https://doi.org/10.4230/LIPIcs.OPODIS.2023.11__In 27th International Conference on Principles of Distributed Systems, Vol. 286. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.https://doi.org/10.4230/LIPIcs.OPODIS.2023.11 .

Hübner, Valentin, Manuel Staab, Christian Hilbe, Krishnendu Chatterjee, and Maria Kleshnina. “Efficiency and Resilience of Cooperation in Asymmetric Social Dilemmas.”https://doi.org/10.1073/pnas.2315558121__Proceedings of the National Academy of Sciences. Proceedings of the National Academy of Sciences, 2024.https://doi.org/10.1073/pnas.2315558121 .

Hübner, Valentin, and Maria Kleshnina. “Computer Code for ‘Efficiency and Resilience of Cooperation in Asymmetric Social Dilemmas.’”https://doi.org/10.5281/ZENODO.10639167__Zenodo, 2024.https://doi.org/10.5281/ZENODO.10639167 .

Svoboda, Jakub, Soham Shrikant Joshi, Josef Tkadlec, and Krishnendu Chatterjee. “Amplifiers of Selection for the Moran Process with Both Birth-Death and Death-Birth Updating.”https://doi.org/10.1371/journal.pcbi.1012008__PLoS Computational Biology. Public Library of Science, 2024.https://doi.org/10.1371/journal.pcbi.1012008 .

Attia, Luc, Miquel Oliu-Barton, and Raimundo J Saona Urmeneta. “Marginal Values of a Stochastic Game.”https://doi.org/10.1287/moor.2023.0297__Mathematics of Operations Research. Institute for Operations Research and the Management Sciences, 2024.https://doi.org/10.1287/moor.2023.0297 .

Asadi, Ali, Krishnendu Chatterjee, Raimundo J Saona Urmeneta, and Jakub Svoboda. “Deterministic Sub-Exponential Algorithm for Discounted-Sum Games with Unary Weights.”https://doi.org/10.48550/arXiv.2405.02479__ArXiv, n.d.https://doi.org/10.48550/arXiv.2405.02479 .

Asadi, Ali, Krishnendu Chatterjee, Raimundo J Saona Urmeneta, and Jakub Svoboda. “Concurrent Stochastic Games with Stateful-Discounted and Parity Objectives: Complexity and Algorithms.”https://doi.org/10.48550/arXiv.2405.02486__ArXiv, n.d.https://doi.org/10.48550/arXiv.2405.02486 .

Attia, Luc, Lyuben Lichev, Dieter Mitsche, Raimundo J Saona Urmeneta, and Bruno Ziliotto. “Zero-Sum Random Games on Directed Graphs.”https://doi.org/10.48550/arXiv.2401.16252__ArXiv, n.d.https://doi.org/10.48550/arXiv.2401.16252 .

Chatterjee, Krishnendu, Tobias Meggendorfer, Raimundo J Saona Urmeneta, and Jakub Svoboda. “Faster Algorithm for Turn-Based Stochastic Games with Bounded Treewidth.”https://doi.org/10.1137/1.9781611977554.ch173__In Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms, 4590–4605. Society for Industrial and Applied Mathematics, 2023.https://doi.org/10.1137/1.9781611977554.ch173 .

Chatterjee, Krishnendu, Thomas A Henzinger, Mathias Lechner, and Dorde Zikelic. “A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems.”https://doi.org/10.1007/978-3-031-30823-9_1__In Tools and Algorithms for the Construction and Analysis of Systems , 13993:3–25. Springer Nature, 2023.https://doi.org/10.1007/978-3-031-30823-9_1 .

Svoboda, Jakub, Josef Tkadlec, Kamran Kaveh, and Krishnendu Chatterjee. “Coexistence Times in the Moran Process with Environmental Heterogeneity.”https://doi.org/10.1098/rspa.2022.0685__Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences. The Royal Society, 2023.https://doi.org/10.1098/rspa.2022.0685 .

Schmid, Laura, Farbod Ekbatani, Christian Hilbe, and Krishnendu Chatterjee. “Quantitative Assessment Can Stabilize Indirect Reciprocity under Imperfect Information.”https://doi.org/10.1038/s41467-023-37817-x__Nature Communications. Springer Nature, 2023.https://doi.org/10.1038/s41467-023-37817-x .

Lechner, Mathias, Dorde Zikelic, Krishnendu Chatterjee, Thomas A Henzinger, and Daniela Rus. “Quantization-Aware Interval Bound Propagation for Training Certifiably Robust Quantized Neural Networks.”https://doi.org/10.1609/aaai.v37i12.26747__In Proceedings of the 37th AAAI Conference on Artificial Intelligence, 37:14964–73. Association for the Advancement of Artificial Intelligence, 2023.https://doi.org/10.1609/aaai.v37i12.26747 .

Avni, Guy, Ismael R Jecker, and Dorde Zikelic. “Bidding Graph Games with Partially-Observable Budgets.”https://doi.org/10.1609/aaai.v37i5.25679__In Proceedings of the 37th AAAI Conference on Artificial Intelligence, 37:5464–71, 2023.https://doi.org/10.1609/aaai.v37i5.25679 .

Kretinsky, Jan, Tobias Meggendorfer, Maximilian Prokop, and Sabine Rieder. “Guessing Winning Policies in LTL Synthesis by Semantic Learning.”https://doi.org/10.1007/978-3-031-37706-8_20__In 35th International Conference on Computer Aided Verification , 13964:390–414. Springer Nature, 2023.https://doi.org/10.1007/978-3-031-37706-8_20 .

Sun, Yican, Hongfei Fu, Krishnendu Chatterjee, and Amir Kafshdar Goharshady. “Automated Tail Bound Analysis for Probabilistic Recurrence Relations.”https://doi.org/10.1007/978-3-031-37709-9_2__In Computer Aided Verification, 13966:16–39. Springer Nature, 2023.https://doi.org/10.1007/978-3-031-37709-9_2 .

Akshay, S., Krishnendu Chatterjee, Tobias Meggendorfer, and Dorde Zikelic. “MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives.”https://doi.org/10.1007/978-3-031-37709-9_5__In International Conference on Computer Aided Verification, 13966:86–112. Springer Nature, 2023.https://doi.org/10.1007/978-3-031-37709-9_5 .

Chatterjee, Krishnendu, Joost P Katoen, Stefanie Mohr, Maximilian Weininger, and Tobias Winkler. “Stochastic Games with Lexicographic Objectives.”https://doi.org/10.1007/s10703-023-00411-4__Formal Methods in System Design. Springer Nature, 2023.https://doi.org/10.1007/s10703-023-00411-4 .

Graham, Thomas, Maria Kleshnina, and Jerzy A. Filar. “Where Do Mistakes Lead? A Survey of Games with Incompetent Players.”https://doi.org/10.1007/s13235-022-00425-3__Dynamic Games and Applications. Springer Nature, 2023.https://doi.org/10.1007/s13235-022-00425-3 .