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 .

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 .

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 .

Baier, Christel, Krishnendu Chatterjee, Tobias Meggendorfer, and Jakob Piribauer. “Entropic Risk for Turn-Based Stochastic Games.”https://doi.org/10.4230/LIPIcs.MFCS.2023.15__In 48th International Symposium on Mathematical Foundations of Computer Science, Vol. 272. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.https://doi.org/10.4230/LIPIcs.MFCS.2023.15 .

Mckerral, Jody C., Maria Kleshnina, Vladimir Ejov, Louise Bartle, James G. Mitchell, and Jerzy A. Filar. “Empirical Parameterisation and Dynamical Analysis of the Allometric Rosenzweig-MacArthur Equations.”https://doi.org/10.1371/journal.pone.0279838__PLoS One. Public Library of Science, 2023.https://doi.org/10.1371/journal.pone.0279838 .

Avni, Guy, Tobias Meggendorfer, Suman Sadhukhan, Josef Tkadlec, and Dorde Zikelic. “Reachability Poorman Discrete-Bidding Games.”https://doi.org/10.3233/FAIA230264__In Frontiers in Artificial Intelligence and Applications, 372:141–48. IOS Press, 2023.https://doi.org/10.3233/FAIA230264 .

Ansaripour, Matin, Krishnendu Chatterjee, Thomas A Henzinger, Mathias Lechner, and Dorde Zikelic. “Learning Provably Stabilizing Neural Controllers for Discrete-Time Stochastic Systems.”https://doi.org/10.1007/978-3-031-45329-8_17__In 21st International Symposium on Automated Technology for Verification and Analysis, 14215:357–79. Springer Nature, 2023.https://doi.org/10.1007/978-3-031-45329-8_17 .

Schmid, Stefan, Jakub Svoboda, and Michelle X Yeo. “Weighted Packet Selection for Rechargeable Links in Cryptocurrency Networks: Complexity and Approximation.”https://doi.org/10.1007/978-3-031-32733-9_26__In SIROCCO 2023: Structural Information and Communication Complexity , 13892:576–94. Springer Nature, 2023.https://doi.org/10.1007/978-3-031-32733-9_26 .

Tkadlec, Josef, Kamran Kaveh, Krishnendu Chatterjee, and Martin A. Nowak. “Evolutionary Dynamics of Mutants That Modify Population Structure.”https://doi.org/10.1098/rsif.2023.0355__Journal of the Royal Society, Interface. The Royal Society, 2023.https://doi.org/10.1098/rsif.2023.0355 .

Kleshnina, Maria, Christian Hilbe, Stepan Simsa, Krishnendu Chatterjee, and Martin A. Nowak. “The Effect of Environmental Information on Evolution of Cooperation in Stochastic Games.”https://doi.org/10.1038/s41467-023-39625-9__Nature Communications. Springer Nature, 2023.https://doi.org/10.1038/s41467-023-39625-9 .

Kretinsky, Jan, Tobias Meggendorfer, and Maximilian Weininger. “Stopping Criteria for Value Iteration on Stochastic Games with Quantitative Objectives.”https://doi.org/10.1109/LICS56636.2023.10175771__In 38th Annual ACM/IEEE Symposium on Logic in Computer Science, Vol. 2023. Institute of Electrical and Electronics Engineers, 2023.https://doi.org/10.1109/LICS56636.2023.10175771 .

Biniaz, Ahmad, Kshitij Jain, Anna Lubiw, Zuzana Masárová, Tillmann Miltzow, Debajyoti Mondal, Anurag Murty Naredla, Josef Tkadlec, and Alexi Turcotte. “Token Swapping on Trees.”https://doi.org/10.46298/DMTCS.8383__Discrete Mathematics and Theoretical Computer Science. EPI Sciences, 2023.https://doi.org/10.46298/DMTCS.8383 .

Bastankhah, Mahsa, Krishnendu Chatterjee, Mohammad Ali Maddah-Ali, Stefan Schmid, Jakub Svoboda, and Michelle X Yeo. “: Boosting Liquidity in Payment Channel Networks with Online Admission Control.”https://doi.org/10.1007/978-3-031-47754-6_18__In 27th International Conference on Financial Cryptography and Data Security, 13950:309–25. Springer Nature, 2023.https://doi.org/10.1007/978-3-031-47754-6_18 .

Zikelic, Dorde. “Automated Verification and Control of Infinite State Stochastic Systems.”https://doi.org/10.15479/14539__Institute of Science and Technology Austria, 2023.https://doi.org/10.15479/14539 .

Kisan, Jan Matyás, and Jakub Svoboda. “Shortest Dominating Set Reconfiguration under Token Sliding.”https://doi.org/10.1007/978-3-031-43587-4_24__In 24th International Symposium on Fundamentals of Computation Theory, 14292:333–47. Springer Nature, 2023.https://doi.org/10.1007/978-3-031-43587-4_24 .

Zikelic, Dorde, Mathias Lechner, Thomas A Henzinger, and Krishnendu Chatterjee. “Learning Control Policies for Stochastic Systems with Reach-Avoid Guarantees.”https://doi.org/10.1609/aaai.v37i10.26407__In Proceedings of the 37th AAAI Conference on Artificial Intelligence, 37:11926–35. Association for the Advancement of Artificial Intelligence, 2023.https://doi.org/10.1609/aaai.v37i10.26407 .

Meggendorfer, Tobias. “Correct Approximation of Stationary Distributions.”https://doi.org/10.1007/978-3-031-30823-9_25__In TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, 13993:489–507. Springer Nature, 2023.https://doi.org/10.1007/978-3-031-30823-9_25 .

Zikelic, Dorde, Mathias Lechner, Abhinav Verma, Krishnendu Chatterjee, and Thomas A Henzinger. “Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees.” In 37th Conference on Neural Information Processing Systems, 2023.

Chatterjee, Krishnendu, Ehsan Kafshdar Goharshady, Petr Novotný, Jií Zárevúcky, and Dorde Zikelic. “On Lexicographic Proof Rules for Probabilistic Termination.”https://doi.org/10.1145/3585391__Formal Aspects of Computing. Association for Computing Machinery, 2023.https://doi.org/10.1145/3585391 .

Ahmadi, Ali, Krishnendu Chatterjee, Amir Kafshdar Goharshady, Tobias Meggendorfer, Roodabeh Safavi Hemami, and Dorde Zikelic. “Algorithms and Hardness Results for Computing Cores of Markov Chains.”https://doi.org/10.4230/LIPIcs.FSTTCS.2022.29__In 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Vol. 250. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022.https://doi.org/10.4230/LIPIcs.FSTTCS.2022.29 .

Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, Ismael R Jecker, and Jakub Svoboda. “Complexity of Spatial Games.”https://doi.org/10.4230/LIPIcs.FSTTCS.2022.11__In 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Vol. 250. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022.https://doi.org/10.4230/LIPIcs.FSTTCS.2022.11 .

Meggendorfer, Tobias. “Risk-Aware Stochastic Shortest Path.”https://doi.org/10.1609/aaai.v36i9.21222__In Proceedings of the 36th AAAI Conference on Artificial Intelligence, AAAI 2022, 36:9858–67. Association for the Advancement of Artificial Intelligence, 2022.https://doi.org/10.1609/aaai.v36i9.21222 .

Aichholzer, Oswin, Alan M Arroyo Guevara, Zuzana Masárová, Irene Parada, Daniel Perz, Alexander Pilz, Josef Tkadlec, and Birgit Vogtenhuber. “On Compatible Matchings.”https://doi.org/10.7155/jgaa.00591__Journal of Graph Algorithms and Applications. Brown University, 2022.https://doi.org/10.7155/jgaa.00591 .

Chatterjee, Krishnendu, Mona Mohammadi, and Raimundo J Saona Urmeneta. “Repeated Prophet Inequality with Near-Optimal Bounds.”https://doi.org/10.48550/ARXIV.2209.14368__ArXiv, n.d.https://doi.org/10.48550/ARXIV.2209.14368 .

Kretinsky, Jan, Tobias Meggendorfer, Clara Waldmann, and Maximilian Weininger. “Index Appearance Record with Preorders.”https://doi.org/10.1007/s00236-021-00412-y__Acta Informatica. Springer Nature, 2022.https://doi.org/10.1007/s00236-021-00412-y .

Svoboda, Jakub, Josef Tkadlec, Andreas Pavlogiannis, Krishnendu Chatterjee, and Martin A. Nowak. “Infection Dynamics of COVID-19 Virus under Lockdown and Reopening.”https://doi.org/10.1038/s41598-022-05333-5__Scientific Reports. Springer Nature, 2022.https://doi.org/10.1038/s41598-022-05333-5 .

Zikelic, Dorde, Bor-Yuh Evan Chang, Pauline Bolignano, and Franco Raimondi. “Differential Cost Analysis with Simultaneous Potentials and Anti-Potentials.”https://doi.org/10.1145/3519939.3523435__In Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 442–57. Association for Computing Machinery, 2022.https://doi.org/10.1145/3519939.3523435 .

Chatterjee, Krishnendu, Jakub Svoboda, Dorde Zikelic, Andreas Pavlogiannis, and Josef Tkadlec. “Social Balance on Networks: Local Minima and Best-Edge Dynamics.”https://doi.org/10.1103/physreve.106.034321__Physical Review E. American Physical Society, 2022.https://doi.org/10.1103/physreve.106.034321 .

Schmid, Laura, Christian Hilbe, Krishnendu Chatterjee, and Martin Nowak. “Direct Reciprocity between Individuals That Use Different Strategy Spaces.”https://doi.org/10.1371/journal.pcbi.1010149__PLOS Computational Biology. Public Library of Science, 2022.https://doi.org/10.1371/journal.pcbi.1010149 .

Chatterjee, Krishnendu, Raimundo J Saona Urmeneta, and Bruno Ziliotto. “Finite-Memory Strategies in POMDPs with Long-Run Average Objectives.”https://doi.org/10.1287/moor.2020.1116__Mathematics of Operations Research. Institute for Operations Research and the Management Sciences, 2022.https://doi.org/10.1287/moor.2020.1116 .

Meggendorfer, Tobias. “PET – A Partial Exploration Tool for Probabilistic Verification.”https://doi.org/10.1007/978-3-031-19992-9_20__In 20th International Symposium on Automated Technology for Verification and Analysis, 13505:320–26. Springer Nature, 2022.https://doi.org/10.1007/978-3-031-19992-9_20 .

Chatterjee, Krishnendu, and Laurent Doyen. “Graph Planning with Expected Finite Horizon.”https://doi.org/10.1016/j.jcss.2022.04.003__Journal of Computer and System Sciences. Elsevier, 2022.https://doi.org/10.1016/j.jcss.2022.04.003 .

Grover, Kush, Jan Kretinsky, Tobias Meggendorfer, and Maimilian Weininger. “Anytime Guarantees for Reachability in Uncountable Markov Decision Processes.”https://doi.org/10.4230/LIPIcs.CONCUR.2022.11__In 33rd International Conference on Concurrency Theory , Vol. 243. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022.https://doi.org/10.4230/LIPIcs.CONCUR.2022.11 .

Chatterjee, Krishnendu, Amir Kafshdar Goharshady, Tobias Meggendorfer, and Dorde Zikelic. “Sound and Complete Certificates for Auantitative Termination Analysis of Probabilistic Programs.”https://doi.org/10.1007/978-3-031-13185-1_4__In Proceedings of the 34th International Conference on Computer Aided Verification, 13371:55–78. Springer, 2022.https://doi.org/10.1007/978-3-031-13185-1_4 .

Lechner, Mathias, Dorde Zikelic, Krishnendu Chatterjee, and Thomas A Henzinger. “Stability Verification in Stochastic Control Systems via Neural Network Supermartingales.”https://doi.org/10.1609/aaai.v36i7.20695__Proceedings of the AAAI Conference on Artificial Intelligence. Association for the Advancement of Artificial Intelligence, 2022.https://doi.org/10.1609/aaai.v36i7.20695 .

Zikelic, Dorde, Mathias Lechner, Krishnendu Chatterjee, and Thomas A Henzinger. “Learning Stabilizing Policies in Stochastic Control Systems.”https://doi.org/10.48550/arXiv.2205.11991__ArXiv, n.d.https://doi.org/10.48550/arXiv.2205.11991 .

Zikelic, Dorde, Mathias Lechner, Thomas A Henzinger, and Krishnendu Chatterjee. “Learning Control Policies for Stochastic Systems with Reach-Avoid Guarantees.”https://doi.org/10.48550/ARXIV.2210.05308__ArXiv, n.d.https://doi.org/10.48550/ARXIV.2210.05308 .

Jecker, Ismael R, Nicolas Mazzocchi, and Petra Wolf. “Decomposing Permutation Automata.”https://doi.org/10.4230/LIPIcs.CONCUR.2021.18__In 32nd International Conference on Concurrency Theory, Vol. 203. Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021.https://doi.org/10.4230/LIPIcs.CONCUR.2021.18 .

Chatterjee, Krishnendu, Monika H Henzinger, Sagar Sudhir Kale, and Alexander Svozil. “Faster Algorithms for Bounded Liveness in Graphs and Game Graphs.”https://doi.org/10.4230/LIPIcs.ICALP.2021.124__In 48th International Colloquium on Automata, Languages, and Programming, Vol. 198. Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021.https://doi.org/10.4230/LIPIcs.ICALP.2021.124 .

Guha, Shibashis, Ismael R Jecker, Karoliina Lehtinen, and Martin Zimmermann. “A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct.”https://doi.org/10.4230/LIPIcs.MFCS.2021.53__In 46th International Symposium on Mathematical Foundations of Computer Science, Vol. 202. Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021.https://doi.org/10.4230/LIPIcs.MFCS.2021.53 .

Arrighi, Emmanuel, Henning Fernau, Stefan Hoffmann, Markus Holzer, Ismael R Jecker, Mateus De Oliveira Oliveira, and Petra Wolf. “On the Complexity of Intersection Non-Emptiness for Star-Free Language Classes.”https://doi.org/10.4230/LIPIcs.FSTTCS.2021.34__In 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Vol. 213. Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021.https://doi.org/10.4230/LIPIcs.FSTTCS.2021.34 .

Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, and Andreas Pavlogiannis. “Quantitative Verification on Product Graphs of Small Treewidth.”https://doi.org/10.4230/LIPIcs.FSTTCS.2021.42__In 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Vol. 213. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.https://doi.org/10.4230/LIPIcs.FSTTCS.2021.42 .

Avni, Guy, Ismael R Jecker, and Dorde Zikelic. “Infinite-Duration All-Pay Bidding Games.”https://doi.org/10.1137/1.9781611976465.38__In Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms, edited by Dániel Marx, 617–36. Society for Industrial and Applied Mathematics, 2021.https://doi.org/10.1137/1.9781611976465.38 .

Tomásek, Petr, Karel Horák, Aditya Aradhye, Branislav Bosanský, and Krishnendu Chatterjee. “Solving Partially Observable Stochastic Shortest-Path Games.”https://doi.org/10.24963/ijcai.2021/575__In 30th International Joint Conference on Artificial Intelligence, 4182–89. International Joint Conferences on Artificial Intelligence, 2021.https://doi.org/10.24963/ijcai.2021/575 .

Aichholzer, Oswin, Alan M Arroyo Guevara, Zuzana Masárová, Irene Parada, Daniel Perz, Alexander Pilz, Josef Tkadlec, and Birgit Vogtenhuber. “On Compatible Matchings.”https://doi.org/10.1007/978-3-030-68211-8_18__In 15th International Conference on Algorithms and Computation, 12635:221–33. Springer Nature, 2021.https://doi.org/10.1007/978-3-030-68211-8_18 .

Schmid, Laura, and Christian Hilbe. “The Evolution of Strategic Ignorance in Strategic Interaction.” In Deliberate Ignorance: Choosing Not To Know, edited by Ralph Hertwig and Christoph Engel, 29:139–52. Strüngmann Forum Reports. MIT Press, 2021.

Bansal, Suguman, Krishnendu Chatterjee, and Moshe Y. Vardi. “On Satisficing in Quantitative Games.”https://doi.org/10.1007/978-3-030-72016-2__In 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 12651:20–37. Springer Nature, 2021.https://doi.org/10.1007/978-3-030-72016-2 .

Lechner, Mathias, Ðore dikeli, Krishnendu Chatterjee, and Thomas A Henzinger. “Infinite Time Horizon Safety of Bayesian Neural Networks.”https://doi.org/10.48550/arXiv.2111.03165__In 35th Conference on Neural Information Processing Systems, 2021.https://doi.org/10.48550/arXiv.2111.03165 .

Zeiner, Martin, Ulrich Schmid, and Krishnendu Chatterjee. “Optimal Strategies for Selecting Coordinators.”https://doi.org/10.1016/j.dam.2020.10.022__Discrete Applied Mathematics. Elsevier, 2021.https://doi.org/10.1016/j.dam.2020.10.022 .

Kleshnina, Maria, Sabrina S. Streipert, Jerzy A. Filar, and Krishnendu Chatterjee. “Mistakes Can Stabilise the Dynamics of Rock-Paper-Scissors Games.”https://doi.org/10.1371/journal.pcbi.1008523__PLoS Computational Biology. Public Library of Science, 2021.https://doi.org/10.1371/journal.pcbi.1008523 .

Tkadlec, Josef, Andreas Pavlogiannis, Krishnendu Chatterjee, and Martin A. Nowak. “Fast and Strong Amplifiers of Natural Selection.”https://doi.org/10.1038/s41467-021-24271-w__Nature Communications. Springer Nature, 2021.https://doi.org/10.1038/s41467-021-24271-w .

Wang, Jinyi, Yican Sun, Hongfei Fu, Krishnendu Chatterjee, and Amir Kafshdar Goharshady. “Quantitative Analysis of Assertion Violations in Probabilistic Programs.”https://doi.org/10.1145/3453483.3454102__In Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 1171–86. Association for Computing Machinery, 2021.https://doi.org/10.1145/3453483.3454102 .

Asadi, Ali, Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, and Mohammad Mahdavi. “Polynomial Reachability Witnesses via Stellensätze.”https://doi.org/10.1145/3453483.3454076__In Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 772–87. Association for Computing Machinery, 2021.https://doi.org/10.1145/3453483.3454076 .

Chatterjee, Krishnendu, Wolfgang Dvorak, Monika H Henzinger, and Alexander Svozil. “Symbolic Time and Space Tradeoffs for Probabilistic Verification.”https://doi.org/10.1109/LICS52264.2021.9470739__In Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 1–13. Institute of Electrical and Electronics Engineers, 2021.https://doi.org/10.1109/LICS52264.2021.9470739 .

Chatterjee, Krishnendu, and Laurent Doyen. “Stochastic Processes with Expected Stopping Time.”https://doi.org/10.1109/LICS52264.2021.9470595__In Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 1–13. Institute of Electrical and Electronics Engineers, 2021.https://doi.org/10.1109/LICS52264.2021.9470595 .

Jecker, Ismael R. “A Ramsey Theorem for Finite Monoids.”https://doi.org/10.4230/LIPIcs.STACS.2021.44__In 38th International Symposium on Theoretical Aspects of Computer Science, Vol. 187. Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021.https://doi.org/10.4230/LIPIcs.STACS.2021.44 .

Agarwal, Pratyush, Krishnendu Chatterjee, Shreya Pathak, Andreas Pavlogiannis, and Viktor Toman. “Stateless Model Checking under a Reads-Value-from Equivalence.”https://doi.org/10.1007/978-3-030-81685-8_16__In 33rd International Conference on Computer-Aided Verification , 12759:341–66. Springer Nature, 2021.https://doi.org/10.1007/978-3-030-81685-8_16 .

Bui, Truc Lam, Krishnendu Chatterjee, Tushar Gautam, Andreas Pavlogiannis, and Viktor Toman. “The Reads-from Equivalence for the TSO and PSO Memory Models.”https://doi.org/10.1145/3485541__Proceedings of the ACM on Programming Languages. Association for Computing Machinery, 2021.https://doi.org/10.1145/3485541 .

Toman, Viktor. “Improved Verification Techniques for Concurrent Systems.”https://doi.org/10.15479/at:ista:10199__Institute of Science and Technology Austria, 2021.https://doi.org/10.15479/at:ista:10199 .

Chatterjee, Krishnendu, Wolfgang Dvoák, Monika H Henzinger, and Alexander Svozil. “Algorithms and Conditional Lower Bounds for Planning Problems.”https://doi.org/10.1016/j.artint.2021.103499__Artificial Intelligence. Elsevier, 2021.https://doi.org/10.1016/j.artint.2021.103499 .

Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, and Andreas Pavlogiannis. “Faster Algorithms for Quantitative Verification in Bounded Treewidth Graphs.”https://doi.org/10.1007/s10703-021-00373-5__Formal Methods in System Design. Springer, 2021.https://doi.org/10.1007/s10703-021-00373-5 .

Chatterjee, Krishnendu, Ehsan Kafshdar Goharshady, Petr Novotný, and Dorde Zikelic. “Proving Non-Termination by Program Reversal.”https://doi.org/10.1145/3453483.3454093__In Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 1033–48. Association for Computing Machinery, 2021.https://doi.org/10.1145/3453483.3454093 .

Chatterjee, Krishnendu, Ehsan Kafshdar Goharshady, Petr Novotný, Jií Zárevúcky, and Dorde Zikelic. “On Lexicographic Proof Rules for Probabilistic Termination.”https://doi.org/10.1007/978-3-030-90870-6_33__In 24th International Symposium on Formal Methods, 13047:619–39. Springer Nature, 2021.https://doi.org/10.1007/978-3-030-90870-6_33 .

Goharshady, Amir Kafshdar. “Parameterized and Algebro-Geometric Advances in Static Program Analysis.”https://doi.org/10.15479/AT:ISTA:8934__Institute of Science and Technology Austria, 2021.https://doi.org/10.15479/AT:ISTA:8934 .

Schmid, Laura. “Evolution of Cooperation via (in)Direct Reciprocity under Imperfect Information.”https://doi.org/10.15479/at:ista:10293__Institute of Science and Technology Austria, 2021.https://doi.org/10.15479/at:ista:10293 .

Schmid, Laura, Pouya Shati, Christian Hilbe, and Krishnendu Chatterjee. “The Evolution of Indirect Reciprocity under Action and Assessment Generosity.”https://doi.org/10.1038/s41598-021-96932-1__Scientific Reports. Springer Nature, 2021.https://doi.org/10.1038/s41598-021-96932-1 .

Schmid, Laura, Krishnendu Chatterjee, Christian Hilbe, and Martin A. Nowak. “A Unified Framework of Direct and Indirect Reciprocity.”https://doi.org/10.1038/s41562-021-01114-8__Nature Human Behaviour. Springer Nature, 2021.https://doi.org/10.1038/s41562-021-01114-8 .

Schmid, Laura, Krishnendu Chatterjee, and Stefan Schmid. “The Evolutionary Price of Anarchy: Locally Bounded Agents in a Dynamic Virus Game.”https://doi.org/10.4230/LIPIcs.OPODIS.2019.21__In Proceedings of the 23rd International Conference on Principles of Distributed Systems, Vol. 153. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.https://doi.org/10.4230/LIPIcs.OPODIS.2019.21 .

Chatterjee, Krishnendu, Thomas A Henzinger, and Jan Otop. “Multi-Dimensional Long-Run Average Problems for Vector Addition Systems with States.”https://doi.org/10.4230/LIPIcs.CONCUR.2020.23__In 31st International Conference on Concurrency Theory, Vol. 171. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.https://doi.org/10.4230/LIPIcs.CONCUR.2020.23 .

Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, Ismael R Jecker, and Jakub Svoboda. “Simplified Game of Life: Algorithms and Complexity.”https://doi.org/10.4230/LIPIcs.MFCS.2020.22__In 45th International Symposium on Mathematical Foundations of Computer Science, Vol. 170. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.https://doi.org/10.4230/LIPIcs.MFCS.2020.22 .

Jecker, Ismael R, Orna Kupferman, and Nicolas Mazzocchi. “Unary Prime Languages.”https://doi.org/10.4230/LIPIcs.MFCS.2020.51__In 45th International Symposium on Mathematical Foundations of Computer Science, Vol. 170. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.https://doi.org/10.4230/LIPIcs.MFCS.2020.51 .

Ashok, Pranav, Krishnendu Chatterjee, Jan Kretinsky, Maximilian Weininger, and Tobias Winkler. “Approximating Values of Generalized-Reachability Stochastic Games.”https://doi.org/10.1145/3373718.3394761__In Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science , 102–15. Association for Computing Machinery, 2020.https://doi.org/10.1145/3373718.3394761 .

Kaveh, Kamran, Alex McAvoy, Krishnendu Chatterjee, and Martin A. Nowak. “The Moran Process on 2-Chromatic Graphs.”https://doi.org/10.1371/journal.pcbi.1008402__PLOS Computational Biology. Public Library of Science, 2020.https://doi.org/10.1371/journal.pcbi.1008402 .

Kleshnina, Maria, Sabrina Streipert, Jerzy Filar, and Krishnendu Chatterjee. “Prioritised Learning in Snowdrift-Type Games.”https://doi.org/10.3390/math8111945__Mathematics. MDPI, 2020.https://doi.org/10.3390/math8111945 .

Pavlogiannis, Andreas, Nico Schaumberger, Ulrich Schmid, and Krishnendu Chatterjee. “Precedence-Aware Automated Competitive Analysis of Real-Time Scheduling.”https://doi.org/10.1109/TCAD.2020.3012803__IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. IEEE, 2020.https://doi.org/10.1109/TCAD.2020.3012803 .

Avni, Guy, Rasmus Ibsen-Jensen, and Josef Tkadlec. “All-Pay Bidding Games on Graphs.”https://doi.org/10.1609/aaai.v34i02.5546__Proceedings of the AAAI Conference on Artificial Intelligence. Association for the Advancement of Artificial Intelligence, 2020.https://doi.org/10.1609/aaai.v34i02.5546 .

Milutinovic, Barbara, Miriam Stock, Anna V Grasse, Elisabeth Naderlinger, Christian Hilbe, and Sylvia Cremer. “Social Immunity Modulates Competition between Coinfecting Pathogens.”https://doi.org/10.1111/ele.13458__Ecology Letters. Wiley, 2020.https://doi.org/10.1111/ele.13458 .

Chatterjee, Krishnendu, Martin Chmelik, Deep Karkhanis, Petr Novotný, and Amélie Royer. “Multiple-Environment Markov Decision Processes: Efficient Analysis and Applications.” In Proceedings of the 30th International Conference on Automated Planning and Scheduling, 30:48–56. Association for the Advancement of Artificial Intelligence, 2020.

Chatterjee, Krishnendu, Joost P Katoen, Maximilian Weininger, and Tobias Winkler. “Stochastic Games with Lexicographic Reachability-Safety Objectives.”https://doi.org/10.1007/978-3-030-53291-8_21__In International Conference on Computer Aided Verification, 12225:398–420. Springer Nature, 2020.https://doi.org/10.1007/978-3-030-53291-8_21 .

Shakiba, A., Amir Kafshdar Goharshady, M.R. Hooshmandasl, and M. Alambardar Meybodi. “A Note on Belief Structures and S-Approximation Spaces.”https://doi.org/10.29252/ijmsi.15.2.117__Iranian Journal of Mathematical Sciences and Informatics. Iranian Academic Center for Education, Culture and Research, 2020.https://doi.org/10.29252/ijmsi.15.2.117 .

Tkadlec, Josef, Andreas Pavlogiannis, Krishnendu Chatterjee, and Martin A. Nowak. “Limits on Amplifiers of Natural Selection under Death-Birth Updating.”https://doi.org/10.1371/journal.pcbi.1007494__PLoS Computational Biology. Public Library of Science, 2020.https://doi.org/10.1371/journal.pcbi.1007494 .

Tkadlec, Josef. “A Role of Graphs in Evolutionary Processes.”https://doi.org/10.15479/AT:ISTA:7196__Institute of Science and Technology Austria, 2020.https://doi.org/10.15479/AT:ISTA:7196 .

Wang, Peixin, Hongfei Fu, Krishnendu Chatterjee, Yuxin Deng, and Ming Xu. “Proving Expected Sensitivity of Probabilistic Programs with Randomized Variable-Dependent Termination Time.”https://doi.org/10.1145/3371093__In Proceedings of the ACM on Programming Languages, Vol. 4. ACM, 2020.https://doi.org/10.1145/3371093 .

Brázdil, Tomás, Krishnendu Chatterjee, Petr Novotný, and Jií Vahala. “Reinforcement Learning of Risk-Constrained Policies in Markov Decision Processes.”https://doi.org/10.1609/aaai.v34i06.6531__Proceedings of the 34th AAAI Conference on Artificial Intelligence. Association for the Advancement of Artificial Intelligence, 2020.https://doi.org/10.1609/aaai.v34i06.6531 .

Aichholzer, Oswin, Julia Obmann, Pavel Patak, Daniel Perz, and Josef Tkadlec. “Disjoint Tree-Compatible Plane Perfect Matchings.” In 36th European Workshop on Computational Geometry, 2020.

Chatterjee, Krishnendu, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, and Andreas Pavlogiannis. “Optimal and Perfectly Parallel Algorithms for On-Demand Data-Flow Analysis.”https://doi.org/10.1007/978-3-030-44914-8_5__In European Symposium on Programming, 12075:112–40. Springer Nature, 2020.https://doi.org/10.1007/978-3-030-44914-8_5 .

Asadi, Ali, Krishnendu Chatterjee, Amir Kafshdar Goharshady, Kiarash Mohammadi, and Andreas Pavlogiannis. “Faster Algorithms for Quantitative Analysis of MCs and MDPs with Small Treewidth.”https://doi.org/10.1007/978-3-030-59152-6_14__In Automated Technology for Verification and Analysis, 12302:253–70. Springer Nature, 2020.https://doi.org/10.1007/978-3-030-59152-6_14 .

Chatterjee, Krishnendu, Hongfei Fu, Amir Kafshdar Goharshady, and Ehsan Kafshdar Goharshady. “Polynomial Invariant Generation for Non-Deterministic Recursive Programs.”https://doi.org/10.1145/3385412.3385969__In Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, 672–87. Association for Computing Machinery, 2020.https://doi.org/10.1145/3385412.3385969 .