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.
534 Publications
2026 |
Published |
Conference Paper |
IST-REx-ID: 21411 |
M. Bentert, E. Ceylan, V. Hübner, S. Schmid, and J. Srba, “Fast re-routing in networks: On the complexity of perfect resilience,” in 29th International Conference on Principles of Distributed Systems, Iaşi, Romania, 2026, vol. 361.
[Published Version]
View
| Files available
| DOI
2026 |
Epub ahead of print |
Journal Article |
IST-REx-ID: 21661 |
A. Hartmanns, S. Junges, T. Quatmann, and M. Weininger, “The revised practitioner’s guide to MDP model checking algorithms,” International Journal on Software Tools for Technology Transfer. Springer Nature, 2026.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2026 |
Published |
Conference Paper |
IST-REx-ID: 21717 |
A. Asadi, K. Chatterjee, E. Goharshady, M. Karrabi, and A. Shafiee, “Qualitative analysis of ω-regular objectives on robust MDPs,” in Proceedings of the 40th AAAI Conference on Artificial Intelligence, Singapore, Singapore, 2026, vol. 40, no. 43, pp. 36137–36145.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2026 |
Published |
Conference Paper |
IST-REx-ID: 21722 |
A. Asadi, K. Chatterjee, D. Lurie, and R. J. Saona Urmeneta, “Revealing POMDPs: Qualitative and quantitative analysis for parity objectives,” in Proceedings of the AAAI Conference on Artificial Intelligence, Singapore, Singapore, 2026, vol. 40, no. 43, pp. 36146–36154.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2026 |
Published |
Journal Article |
IST-REx-ID: 22102 |
| 
|
K. Chatterjee, E. Goharshady, and D. Zikelic, “SuperDP: Differential privacy refutation via supermartingales,” Proceedings of the ACM on Programming Languages, vol. 10, no. PLDI. ACM, 2026.
[Published Version]
View
| Files available
| DOI
| arXiv
2026 |
Published |
Journal Article |
IST-REx-ID: 22101 |
J. Svoboda, H. Nemati, J. Tkadlec, K. Kaveh, and K. Chatterjee, “The effect of the fitness gradient on fixation probability,” Nature Communications, vol. 17. Springer Nature, 2026.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2026 |
Research Data Reference |
IST-REx-ID: 22134 |
K. Chatterjee, E. Goharshady, and D. Zikelic, “SuperDP: Differential Privacy Refutation via Supermartingales.” Zenodo, 2026.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2026 |
Published |
Conference Paper |
IST-REx-ID: 22920 |
A. Asadi, T. A. Henzinger, E. Goharshady, P. Kebis, and K. Mallik, “Generalized bidding games: Where bidding and stochastic games meet,” in 37th International Conference on Concurrency Theory, Liverpool, United Kingdom, 2026, vol. 391.
[Published Version]
View
| Files available
| DOI
| arXiv
2026 |
Published |
Conference Paper |
IST-REx-ID: 22919 |
A. Asadi, K. Chatterjee, and P. Kebis, “PAC learning in turn-based stochastic games with reachability objectives: A decentralized private approach via expected conditional distance,” in 37th International Conference on Concurrency Theory, Liverpool, United Kingdom, 2026, vol. 391.
[Published Version]
View
| Files available
| DOI
| arXiv
2026 |
Published |
Conference Paper |
IST-REx-ID: 22922 |
K. Chatterjee, T. A. Henzinger, and N. Piterman, “A look back at strategy logic,” in 37th International Conference on Concurrency Theory, Liverpool, United Kingdom, 2026, vol. 391.
[Published Version]
View
| Files available
| DOI
2026 |
Published |
Thesis | MS |
IST-REx-ID: 23079 |
A. Asadi, “Approximation of values and equilibria in stochastic games: Complexity and algorithms,” Institute of Science and Technology Austria, 2026.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Journal Article |
IST-REx-ID: 21413 |
|
|
T. Brázdil et al., “Learning algorithms for verification of Markov decision processes,” TheoretiCS, vol. 4. TheoretiCS Foundation, 2025.
[Published Version]
View
| Files available
| DOI
| arXiv
2025 |
Research Data Reference |
IST-REx-ID: 21668 |
A. Hartmanns, S. Junges, T. Quatmann, and M. Weininger, “Benchmark data for the revised practitioner’s guide to MDP model checking algorithms.” Zenodo, 2025.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2025 |
Published |
Conference Paper |
IST-REx-ID: 19375 |
M. Azeem et al., “1–2–3–Go! Policy synthesis for parameterized Markov decision processes via decision-tree learning and generalization,” in 26th International Conference on Verification, Model Checking, and Abstract Interpretation, Denver, CO, United States, 2025, vol. 15530, pp. 97–120.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2025 |
Published |
Conference Paper |
IST-REx-ID: 19445 |
J. M. Křišťan and J. Svoboda, “Reconfiguration using generalized token jumping,” in 19th International Conference and Workshops on Algorithms and Computation, Chengdu, China, 2025, vol. 15411, pp. 244–265.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2025 |
Published |
Journal Article |
IST-REx-ID: 19499 |
S. Muroya Lei, K. Chatterjee, and T. A. Henzinger, “Hardware-optimal quantum algorithms,” Proceedings of the National Academy of Sciences, vol. 122, no. 12. National Academy of Sciences, 2025.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2025 |
Published |
Conference Paper |
IST-REx-ID: 19600 |
Z. Avarikioti, M. Bastankhah, M. A. Maddah-Ali, K. Z. Pietrzak, J. Svoboda, and M. X. Yeo, “Route discovery in private payment channel networks,” in Computer Security. ESORICS 2024 International Workshops, Bydgoszcz, Poland, 2025, vol. 15263, pp. 207–223.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2025 |
Published |
Conference Paper |
IST-REx-ID: 19666 |
T. Meggendorfer, M. Weininger, and P. Wienhöft, “Solving robust Markov decision processes: Generic, reliable, efficient,” in Proceedings of the 39th AAAI Conference on Artificial Intelligence, Philadelphia, PA, United States, 2025, vol. 39, no. 25, pp. 26631–26641.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2025 |
Published |
Conference Paper |
IST-REx-ID: 19742 |
C. E. Budde, A. Hartmanns, T. Meggendorfer, M. Weininger, and P. 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, Hamilton, ON, Canada, 2025, vol. 15696, pp. 167–190.
[Published Version]
View
| Files available
| DOI
| arXiv