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
2026 |
Published |
Conference Paper |
IST-REx-ID: 21411 |
Bentert, Matthias, et al. “Fast Re-Routing in Networks: On the Complexity of Perfect Resilience.” 29th International Conference on Principles of Distributed Systems, vol. 361, 31, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026, doi:10.4230/LIPIcs.OPODIS.2025.31.
[Published Version]
View
| Files available
| DOI
2026 |
Epub ahead of print |
Journal Article |
IST-REx-ID: 21661 |
Hartmanns, Arnd, et al. “The Revised Practitioner’s Guide to MDP Model Checking Algorithms.” International Journal on Software Tools for Technology Transfer, Springer Nature, 2026, doi:10.1007/s10009-026-00848-y.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2025 |
Published |
Journal Article |
IST-REx-ID: 18529
Zhang, Yichao, et al. “Limitation of Time Promotes Cooperation in Structured Collaboration Systems.” IEEE Transactions on Network Science and Engineering, vol. 12, no. 1, IEEE, 2025, pp. 4–12, doi:10.1109/TNSE.2024.3481434.
View
| DOI
| WoS
2025 |
Published |
Journal Article |
IST-REx-ID: 19965 |
Mcavoy, Alex, et al. “Unilateral Incentive Alignment in Two-Agent Stochastic Games.” Proceedings of the National Academy of Sciences, vol. 122, no. 25, e2319927121, National Academy of Sciences, 2025, doi:10.1073/pnas.2319927121.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2025 |
Published |
Conference Paper |
IST-REx-ID: 20053 |
Chatterjee, Krishnendu, et al. “When Is Liquid Democracy Possible?: On the Manipulation of Variance.” Proceedings of the ACM Symposium on Principles of Distributed Computing, Association for Computing Machinery, 2025, pp. 241–51, doi:10.1145/3732772.3733544.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
2025 |
Published |
Journal Article |
IST-REx-ID: 20254 |
| 
|
Brewster, David A., et al. “Maintaining Diversity in Structured Populations.” PNAS Nexus, vol. 4, no. 8, pgaf252, Oxford University Press, 2025, doi:10.1093/pnasnexus/pgaf252.
[Published Version]
View
| Files available
| DOI
| arXiv
2025 |
Published |
Conference Paper |
IST-REx-ID: 20297 |
Asadi, Ali, et al. “Limit-Sure Reachability for Small Memory Policies in POMDPs Is NP-Complete.” The 41st Conference on Uncertainty in Artificial Intelligence, vol. 286, ML Research Press, 2025, pp. 238–47.
[Published Version]
View
| Files available
| arXiv
2025 |
Published |
Conference Paper |
IST-REx-ID: 20299 |
Asadi, Ali, et al. “Lower Bound on Howard Policy Iteration for Deterministic Markov Decision Processes.” The 41st Conference on Uncertainty in Artificial Intelligence, vol. 286, ML Research Press, 2025, pp. 223–32.
[Published Version]
View
| Files available
| arXiv
2025 |
Published |
Conference Paper |
IST-REx-ID: 20302 |
Luo, Ruichen, et al. “Revisiting LocalSGD and SCAFFOLD: Improved Rates and Missing Analysis.” The 28th International Conference on Artificial Intelligence and Statistics, vol. 258, ML Research Press, 2025, pp. 2539–47.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2025 |
Published |
Conference Paper |
IST-REx-ID: 20610
Meggendorfer, Tobias, et al. “What Are the Odds? Improving Statistical Model Checking of Markov Decision Processes.” Second International Joint Conference on QEST+FORMATS, vol. 16143, Springer Nature, 2025, pp. 195–218, doi:10.1007/978-3-032-05792-1_11.
View
| DOI
2025 |
Published |
Conference Paper |
IST-REx-ID: 20648 |
Chatterjee, Krishnendu, et al. “PolyQEnt: A Polynomial Quantified Entailment Solver.” 23rd International Symposium on Automated Technology for Verification and Analysis, vol. 16145, Springer Nature, 2025, pp. 411–24, doi:10.1007/978-3-032-08707-2_19.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 |
Published |
Conference Paper |
IST-REx-ID: 20688 |
Grobelna, Marta, et al. “Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games.” 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2025, pp. 568–80, doi:10.1109/lics65433.2025.00049.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 |
Published |
Conference Paper |
IST-REx-ID: 20689 |
Baier, Christel, et al. “Multiplicative Rewards in Markovian Models.” 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2025, pp. 499–512, doi:10.1109/lics65433.2025.00044.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 |
Published |
Conference Paper |
IST-REx-ID: 20690 |
Brihaye, Thomas, et al. “Risk-Aware Markov Decision Processes Using Cumulative Prospect Theory.” 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2025, pp. 458–71, doi:10.1109/lics65433.2025.00041.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 |
Published |
Conference Paper |
IST-REx-ID: 19375 |
Azeem, Muqsit, et al. “1–2–3–Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization.” 26th International Conference on Verification, Model Checking, and Abstract Interpretation, vol. 15530, Springer Nature, 2025, pp. 97–120, doi:10.1007/978-3-031-82703-7_5.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2025 |
Published |
Conference Paper |
IST-REx-ID: 19445 |
Křišťan, Jan Matyáš, and Jakub Svoboda. “Reconfiguration Using Generalized Token Jumping.” 19th International Conference and Workshops on Algorithms and Computation, vol. 15411, Springer Nature, 2025, pp. 244–65, doi:10.1007/978-981-96-2845-2_16.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2025 |
Published |
Conference Paper |
IST-REx-ID: 19600 |
Avarikioti, Zeta, et al. “Route Discovery in Private Payment Channel Networks.” Computer Security. ESORICS 2024 International Workshops, vol. 15263, Springer Nature, 2025, pp. 207–23, doi: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, Tobias, et al. “Solving Robust Markov Decision Processes: Generic, Reliable, Efficient.” Proceedings of the 39th AAAI Conference on Artificial Intelligence, vol. 39, no. 25, Association for the Advancement of Artificial Intelligence, 2025, pp. 26631–41, doi:10.1609/aaai.v39i25.34865.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2025 |
Published |
Conference Paper |
IST-REx-ID: 19667 |
Chatterjee, Krishnendu, et al. “Quantified Linear and Polynomial Arithmetic Satisfiability via Template-Based Skolemization.” Proceedings of the 39th AAAI Conference on Artificial Intelligence, vol. 39, no. 11, Association for the Advancement of Artificial Intelligence, 2025, pp. 11158–66, doi:10.1609/aaai.v39i11.33213.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 |
Published |
Conference Paper |
IST-REx-ID: 19669 |
Chatterjee, Krishnendu, et al. “Linear Equations with Min and Max Operators: Computational Complexity.” Proceedings of the 39th AAAI Conference on Artificial Intelligence, vol. 39, no. 11, Association for the Advancement of Artificial Intelligence, 2025, pp. 11150–57, doi:10.1609/aaai.v39i11.33212.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv