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.
520 Publications
2025 |
Published |
Journal Article |
IST-REx-ID: 19499 |
Muroya Lei, S., Chatterjee, K., & Henzinger, T. A. (2025). Hardware-optimal quantum algorithms. Proceedings of the National Academy of Sciences. National Academy of Sciences. https://doi.org/10.1073/pnas.2419273122
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2025 |
Published |
Journal Article |
IST-REx-ID: 19508 |
| 
|
Attia, L., Lichev, L., Mitsche, D., Saona Urmeneta, R. J., & Ziliotto, B. (2025). Random zero-sum dynamic games on infinite directed graphs. Dynamic Games and Applications. Springer Nature. https://doi.org/10.1007/s13235-025-00636-4
[Published Version]
View
| Files available
| DOI
| WoS
2025 |
Published |
Conference Paper |
IST-REx-ID: 19600 |
Avarikioti, Z., Bastankhah, M., Maddah-Ali, M. A., Pietrzak, K. Z., Svoboda, J., & Yeo, M. X. (2025). Route discovery in private payment channel networks. In Computer Security. ESORICS 2024 International Workshops (Vol. 15263, pp. 207–223). Bydgoszcz, Poland: Springer Nature. https://doi.org/10.1007/978-3-031-82349-7_15
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2025 |
Published |
Conference Paper |
IST-REx-ID: 19666 |
Meggendorfer, T., Weininger, M., & Wienhöft, P. (2025). Solving robust Markov decision processes: Generic, reliable, efficient. In Proceedings of the 39th AAAI Conference on Artificial Intelligence (Vol. 39, pp. 26631–26641). Philadelphia, PA, United States: Association for the Advancement of Artificial Intelligence. https://doi.org/10.1609/aaai.v39i25.34865
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2025 |
Published |
Conference Paper |
IST-REx-ID: 19667 |
Chatterjee, K., Goharshady, E., Karrabi, M., Motwani, H. J., Seeliger, M., & Zikelic, D. (2025). Quantified linear and polynomial arithmetic satisfiability via template-based skolemization. In Proceedings of the 39th AAAI Conference on Artificial Intelligence (Vol. 39, pp. 11158–11166). Philadelphia, PA, United States: Association for the Advancement of Artificial Intelligence. https://doi.org/10.1609/aaai.v39i11.33213
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 |
Published |
Conference Paper |
IST-REx-ID: 19669 |
Chatterjee, K., Luo, R., Saona Urmeneta, R. J., & Svoboda, J. (2025). Linear equations with min and max operators: Computational complexity. In Proceedings of the 39th AAAI Conference on Artificial Intelligence (Vol. 39, pp. 11150–11157). Philadelphia, PA, United States: Association for the Advancement of Artificial Intelligence. https://doi.org/10.1609/aaai.v39i11.33212
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 |
Published |
Conference Paper |
IST-REx-ID: 19740 |
Chatterjee, K., Jafariraviz, M., Saona Urmeneta, R. J., & Svoboda, J. (2025). 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 (Vol. 15697, pp. 217–236). Hamilton, ON, Canada: Springer Nature. 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, C. E., Hartmanns, A., Meggendorfer, T., Weininger, M., & Wienhöft, P. (2025). Sound statistical model checking for probabilities and expected rewards. In 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 15696, pp. 167–190). Hamilton, ON, Canada: Springer Nature. 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, K., Quatmann, T., Schäffeler, M., Weininger, M., Winkler, T., & Zilken, D. (2025). 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 (Vol. 15697, pp. 130–151). Hamilton, ON, Canada: Springer Nature. 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, K., Goharshady, E., Novotný, P., & Zikelic, D. (2025). Refuting equivalence in probabilistic programs with conditioning. In 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 15697, pp. 279–300). Hamilton, ON, Canada: Springer Nature. 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, C., Hartmanns, A., Meggendorfer, T., Weininger, M., & Wienhöft, P. (2025). Sound statistical model checking for probabilities and expected rewards (experimental reproduction package). Zenodo. 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, K., Quatmann, T., Schäffeler, M., Weininger, M., Winkler, T., & Zilken, D. (2025). Artifact: Fixed point certificates for reachability and expected rewards in MDPs. Zenodo. https://doi.org/10.5281/ZENODO.14626585
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2025 |
Published |
Journal Article |
IST-REx-ID: 20857 |
Svoboda, J., & Chatterjee, K. (2025). Promoters of cooperation in evolutionary games. Proceedings of the National Academy of Sciences. National Academy of Sciences. https://doi.org/10.1073/pnas.2524109122
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2025 |
Published |
Conference Paper |
IST-REx-ID: 21268 |
Chatterjee, K., Doyen, L., Raskin, J.-F., & Sankur, O. (2025). The value problem for multiple-environment MDPs with parity objective. In 52nd International Colloquium on Automata, Languages, and Programming. Aarhus, Denmark: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. 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, A., Brice, L., Chatterjee, K., & Thejaswini, K. S. (2025). ε-stationary Nash equilibria in multi-player stochastic graph games. In 45th Annual Conference on Foundations of Software Technology and Theoretical Computer Science (Vol. 360, p. 9:1-9:17). Pilani, India: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. 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, G., Mallmann-Trenn, F., & Saona Urmeneta, R. J. (2025). IID prophet inequality with random horizon: Going beyond increasing hazard rates. In 52nd International Colloquium on Automata, Languages, and Programming (Vol. 334). Aarhus, Denmark: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. 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, K., Křišťan, J. M., Schmid, S., Svoboda, J., & Yeo, M. X. (2025). Boosting payment channel network liquidity with topology optimization and transaction selection. In 39th International Symposium on Distributed Computing (Vol. 356). Berlin, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. 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, T., Chatterjee, K., Chmelik, M., Forejt, V., Kretinsky, J., Kwiatkowska, M., … Ujma, M. (2025). Learning algorithms for verification of Markov decision processes. TheoretiCS. TheoretiCS Foundation. https://doi.org/10.46298/theoretics.25.10
[Published Version]
View
| Files available
| DOI
| arXiv
2025 |
Published |
Journal Article |
IST-REx-ID: 17037
Attia, L., Oliu-Barton, M., & Saona Urmeneta, R. J. (2025). Marginal values of a stochastic game. Mathematics of Operations Research. Institute for Operations Research and the Management Sciences. https://doi.org/10.1287/moor.2023.0297
View
| Files available
| DOI
| WoS
2024 |
Published |
Conference Paper |
IST-REx-ID: 18155 |
Chatterjee, K., Goharshady, A. K., Goharshady, E., Karrabi, M., & Zikelic, D. (2024). Sound and complete witnesses for template-based verification of LTL properties on polynomial programs. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 14933, pp. 600–619). Milan, Italy: Springer Nature. https://doi.org/10.1007/978-3-031-71162-6_31
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv