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 .
LibreCat: https://research-explorer.ista.ac.at/record/14417
DOI: 10.4230/LIPIcs.MFCS.2023.15
arXiv: 2307.06611

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 .
LibreCat: https://research-explorer.ista.ac.at/record/12706
DOI: 10.1371/journal.pone.0279838
WoS: 000996122900022
PMID: 36848357

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 .
LibreCat: https://research-explorer.ista.ac.at/record/14518
DOI: 10.3233/FAIA230264
arXiv: 2307.15218

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 .
LibreCat: https://research-explorer.ista.ac.at/record/14559
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/13238
DOI: 10.1007/978-3-031-32733-9_26
arXiv: 2204.13459

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 .
LibreCat: https://research-explorer.ista.ac.at/record/14657
DOI: 10.1098/rsif.2023.0355
PMID: 38016637

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 .
LibreCat: https://research-explorer.ista.ac.at/record/13258
DOI: 10.1038/s41467-023-39625-9
WoS: 001029450400031
PMID: 37438341

Kleshnina, Maria. “Kleshnina/Stochgames_info: The Effect of Environmental Information on Evolution of Cooperation in Stochastic Games.”https://doi.org/10.5281/ZENODO.8059564__Zenodo, 2023.https://doi.org/10.5281/ZENODO.8059564 .
LibreCat: https://research-explorer.ista.ac.at/record/13336
DOI: 10.5281/ZENODO.8059564

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 .
LibreCat: https://research-explorer.ista.ac.at/record/13967
DOI: 10.1109/LICS56636.2023.10175771
WoS: 001036707700042
arXiv: 2304.09930

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 .
LibreCat: https://research-explorer.ista.ac.at/record/12833
DOI: 10.46298/DMTCS.8383
arXiv: 1903.06981

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 .
LibreCat: https://research-explorer.ista.ac.at/record/14736
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/14539
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/14456
DOI: 10.1007/978-3-031-43587-4_24
arXiv: 2307.10847

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 .
LibreCat: https://research-explorer.ista.ac.at/record/14830
DOI: 10.1609/aaai.v37i10.26407
arXiv: 2210.05308

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 .
LibreCat: https://research-explorer.ista.ac.at/record/13139
DOI: 10.1007/978-3-031-30823-9_25
arXiv: 2301.08137

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 .
LibreCat: https://research-explorer.ista.ac.at/record/14990
DOI: 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.
LibreCat: https://research-explorer.ista.ac.at/record/15023
arXiv: 2312.01456

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 .
LibreCat: https://research-explorer.ista.ac.at/record/14778
DOI: 10.1145/3585391
arXiv: 2108.02188

Giambartolomei, Giordano, Frederik Mallmann-Trenn Frederik Mallmann-Trenn, and Raimundo J Saona Urmeneta. “Prophet Inequalities: Separating Random Order from Order Selection.”https://doi.org/10.48550/arXiv.2304.04024__ArXiv, n.d.https://doi.org/10.48550/arXiv.2304.04024 .
LibreCat: https://research-explorer.ista.ac.at/record/17100
DOI: 10.48550/arXiv.2304.04024
arXiv: 2304.04024

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 .
LibreCat: https://research-explorer.ista.ac.at/record/12102
DOI: 10.4230/LIPIcs.FSTTCS.2022.29