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 .

Meggendorfer, Tobias. “Artefact for: Correct Approximation of Stationary Distributions.”https://doi.org/10.5281/ZENODO.7548214__Zenodo, 2023.https://doi.org/10.5281/ZENODO.7548214 .

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 .