Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
524 Publications
2025 |
Published |
Conference Paper |
IST-REx-ID: 19669 |
Chatterjee, Krishnendu, Ruichen Luo, Raimundo J Saona Urmeneta, and Jakub Svoboda. “Linear Equations with Min and Max Operators: Computational Complexity.” In Proceedings of the 39th AAAI Conference on Artificial Intelligence, 39:11150–57. Association for the Advancement of Artificial Intelligence, 2025. https://doi.org/10.1609/aaai.v39i11.33212.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 |
Published |
Conference Paper |
IST-REx-ID: 19740 |
Chatterjee, Krishnendu, Mahdi Jafariraviz, Raimundo J Saona Urmeneta, and Jakub Svoboda. “Value Iteration with Guessing for Markov Chains and Markov Decision Processes.” In 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 15697:217–36. Springer Nature, 2025. https://doi.org/10.1007/978-3-031-90653-4_11.
[Published Version]
View
| Files available
| DOI
| arXiv
2025 |
Published |
Conference Paper |
IST-REx-ID: 19742 |
Budde, Carlos E., Arnd Hartmanns, Tobias Meggendorfer, Maximilian Weininger, and Patrick Wienhöft. “Sound Statistical Model Checking for Probabilities and Expected Rewards.” In 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 15696:167–90. Springer Nature, 2025. https://doi.org/10.1007/978-3-031-90643-5_9.
[Published Version]
View
| Files available
| DOI
| arXiv
2025 |
Published |
Conference Paper |
IST-REx-ID: 19743 |
Chatterjee, Krishnendu, Tim Quatmann, Maximilian Schäffeler, Maximilian Weininger, Tobias Winkler, and Daniel Zilken. “Fixed Point Certificates for Reachability and Expected Rewards in MDPs.” In 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 15697:130–51. Springer Nature, 2025. https://doi.org/10.1007/978-3-031-90653-4_7.
[Published Version]
View
| Files available
| DOI
| arXiv
2025 |
Published |
Conference Paper |
IST-REx-ID: 19744 |
Chatterjee, Krishnendu, Ehsan Goharshady, Petr Novotný, and Dorde Zikelic. “Refuting Equivalence in Probabilistic Programs with Conditioning.” In 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 15697:279–300. Springer Nature, 2025. https://doi.org/10.1007/978-3-031-90653-4_14.
[Published Version]
View
| Files available
| DOI
| arXiv
2025 |
Research Data Reference |
IST-REx-ID: 19769 |
Budde, Carlos, Arnd Hartmanns, Tobias Meggendorfer, Maximilian Weininger, and Patrick Wienhöft. “Sound Statistical Model Checking for Probabilities and Expected Rewards (Experimental Reproduction Package).” Zenodo, 2025. https://doi.org/10.5281/ZENODO.14602066.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2025 |
Research Data Reference |
IST-REx-ID: 19771 |
Chatterjee, Krishnendu, Tim Quatmann, Maximilian Schäffeler, Maximilian Weininger, Tobias Winkler, and Daniel Zilken. “Artifact: Fixed Point Certificates for Reachability and Expected Rewards in MDPs.” Zenodo, 2025. https://doi.org/10.5281/ZENODO.14626585.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2025 |
Published |
Conference Paper |
IST-REx-ID: 21268 |
Chatterjee, Krishnendu, Laurent Doyen, Jean-Francois Raskin, and Ocan Sankur. “The Value Problem for Multiple-Environment MDPs with Parity Objective.” In 52nd International Colloquium on Automata, Languages, and Programming. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025. https://doi.org/10.4230/LIPIcs.ICALP.2025.150.
[Published Version]
View
| Files available
| DOI
| arXiv
2025 |
Published |
Conference Paper |
IST-REx-ID: 21281 |
Asadi, Ali, Leonard Brice, Krishnendu Chatterjee, and K. S. Thejaswini. “ε-Stationary Nash Equilibria in Multi-Player Stochastic Graph Games.” In 45th Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 360:9:1-9:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025. https://doi.org/10.4230/lipics.fsttcs.2025.9.
[Published Version]
View
| Files available
| DOI
| arXiv
2025 |
Published |
Conference Paper |
IST-REx-ID: 21320 |
Giambartolomei, Giordano, Frederik Mallmann-Trenn, and Raimundo J Saona Urmeneta. “IID Prophet Inequality with Random Horizon: Going beyond Increasing Hazard Rates.” In 52nd International Colloquium on Automata, Languages, and Programming, Vol. 334. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025. https://doi.org/10.4230/LIPIcs.ICALP.2025.87.
[Published Version]
View
| Files available
| DOI
| arXiv
2025 |
Published |
Conference Paper |
IST-REx-ID: 21412 |
Chatterjee, Krishnendu, Jan Matyáš Křišťan, Stefan Schmid, Jakub Svoboda, and Michelle X Yeo. “Boosting Payment Channel Network Liquidity with Topology Optimization and Transaction Selection.” In 39th International Symposium on Distributed Computing, Vol. 356. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025. https://doi.org/10.4230/LIPIcs.DISC.2025.23.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
2025 |
Published |
Journal Article |
IST-REx-ID: 21413 |
| 
|
Brázdil, Tomáš, Krishnendu Chatterjee, Martin Chmelik, Vojtěch Forejt, Jan Kretinsky, Marta Kwiatkowska, Tobias Meggendorfer, David Parker, and Mateusz Ujma. “Learning Algorithms for Verification of Markov Decision Processes.” TheoretiCS. TheoretiCS Foundation, 2025. https://doi.org/10.46298/theoretics.25.10.
[Published Version]
View
| Files available
| DOI
| arXiv
2025 |
Research Data Reference |
IST-REx-ID: 21668 |
Hartmanns, Arnd, Sebastian Junges, Tim Quatmann, and Maximilian Weininger. “Benchmark Data for the Revised Practitioner’s Guide to MDP Model Checking Algorithms.” Zenodo, 2025. https://doi.org/10.5281/ZENODO.14500423.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20138 |
Svoboda, Jakub. “Structural Properties of Games on Graphs.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-20138.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 19903 |
Hübner, Valentin. “Reciprocity and Inequality in Social Dilemmas.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-19903.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Journal Article |
IST-REx-ID: 19843 |
Hübner, Valentin, Laura Schmid, Christian Hilbe, and Krishnendu Chatterjee. “Stable Strategies of Direct and Indirect Reciprocity across All Social Dilemmas.” PNAS Nexus. Oxford University Press, 2025. https://doi.org/10.1093/pnasnexus/pgaf154.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2025 |
Published |
Journal Article |
IST-REx-ID: 19074 |
|
|
Hübner, Valentin, Christian Hilbe, Manuel Staab, Maria Kleshnina, and Krishnendu Chatterjee. “Time-Dependent Strategies in Repeated Asymmetric Public Goods Games.” Dynamic Games and Applications. Springer Nature, 2025. https://doi.org/10.1007/s13235-025-00627-5.
[Published Version]
View
| Files available
| DOI
| WoS
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20234 |
Saona Urmeneta, Raimundo J. “Robustness of Solutions in Game Theory : Values and Strategies in Partially Observable, Perturbed, Stochastic, and Infinite Games.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-20234.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Journal Article |
IST-REx-ID: 19508 |
|
|
Attia, Luc, Lyuben Lichev, Dieter Mitsche, Raimundo J Saona Urmeneta, and Bruno Ziliotto. “Random Zero-Sum Dynamic Games on Infinite Directed Graphs.” Dynamic Games and Applications. Springer Nature, 2025. https://doi.org/10.1007/s13235-025-00636-4.
[Published Version]
View
| Files available
| DOI
| WoS
2025 |
Published |
Journal Article |
IST-REx-ID: 17037
Attia, Luc, Miquel Oliu-Barton, and Raimundo J Saona Urmeneta. “Marginal Values of a Stochastic Game.” Mathematics of Operations Research. Institute for Operations Research and the Management Sciences, 2025. https://doi.org/10.1287/moor.2023.0297.
View
| Files available
| DOI
| WoS