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.
454 Publications
2026 |
Published |
Conference Paper |
IST-REx-ID: 22006 |
Chalupa, M., Henzinger, T. A., Sarac, N. E., & Yu, E. (2026). Quantitative monitoring of Signal First-Order logic. In 27th International Symposium on Formal Methods (Vol. 16557, pp. 214–233). Tokyo, Japan: Springer Nature. https://doi.org/10.1007/978-3-032-26220-2_11
[Published Version]
View
| Files available
| DOI
| arXiv
2026 |
Published |
Journal Article |
IST-REx-ID: 21012 |
| 
|
Barrett, C., Henzinger, T. A., & Seshia, S. A. (2026). Certificates in AI: Learn but verify. Communications of the ACM. Association for Computing Machinery. https://doi.org/10.1145/3737447
[Published Version]
View
| Files available
| DOI
2026 |
Published |
Thesis | MS |
IST-REx-ID: 21401 |
Karimi, M. (2026). Privacy-preserving runtime verification. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-21401
[Published Version]
View
| Files available
| DOI
2026 |
Published |
Conference Paper |
IST-REx-ID: 22103 |
Cano Cordoba, F. (2026). Explaining decisions one conversation at a time: Opportunities and risks of LLMs as explainability assistants. In Proceedings of the 18th International Conference on Agents and Artificial Intelligence (Vol. 5, pp. 4689–4696). Marbella, Spain: Science and Technology Publications. https://doi.org/10.5220/0014483200004052
[Accepted Version]
View
| DOI
| Download Accepted Version (ext.)
2026 |
Published |
Book Chapter |
IST-REx-ID: 22300
Avni, G., & Henzinger, T. A. (2026). Bidding Games. In Nathanaël Fijalkow (Ed.), Games on Graphs. From Logic and Automata to Algorithms (pp. 529–569). Cambridge University Press. https://doi.org/10.1017/9781009500678.022
View
| DOI
2026 |
Published |
Conference Paper |
IST-REx-ID: 22294 |
Hatua, A., Nguyen, T., Cano Cordoba, F., & Sung, A. (2026). Machine unlearning using forgetting neural networks. In Proceedings of the 18th International Conference on Agents and Artificial Intelligence (Vol. 2, pp. 1536–1546). Marbella, Spain: SciTePress. https://doi.org/10.5220/0014326500004052
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2026 |
Published |
Conference Paper |
IST-REx-ID: 22321 |
Cano Cordoba, F., Henzinger, T. A., & Kueffner, K. (2026). Energy shields for fairness. In Proceedings of the 2026 ACM Conference on Fairness, Accountability, and Transparency (pp. 4243–4275). Montreal, Canada: Association for Computing Machinery. https://doi.org/10.1145/3805689.3806807
[Published Version]
View
| Files available
| DOI
| arXiv
2026 |
Published |
Conference Paper |
IST-REx-ID: 22617 |
Brice, L. J., Henzinger, T. A., & Thejaswini, K. S. (2026). Dicey games: Shared sources of randomness in distributed systems. In 41st Annual Symposium on Logic in Computer Science (Vol. 380). Lisbon, Portugal: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.LICS.2026.23
[Published Version]
View
| Files available
| DOI
| arXiv
2026 |
Epub ahead of print |
Journal Article |
IST-REx-ID: 22406 |
|
|
Kebis, P., LUCA, F., OUAKNINE, J., SCOONES, A., & WORRELL, J. (2026). Transcendence for Pisot morphic words over an algebraic base. Ergodic Theory and Dynamical Systems. Cambridge University Press. https://doi.org/10.1017/etds.2026.10324
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2026 |
Published |
Conference Paper |
IST-REx-ID: 22717 |
Brice, L. J., Henzinger, T. A., Montaseri, A., Shafiee, A., & Thejaswini, K. S. (2026). Randomise alone, reach as a team. In 38th International Conference on Computer Aided Verification (Vol. 16682, pp. 215–236). Lisbon, Portugal: Springer Nature. https://doi.org/10.1007/978-3-032-32519-8_12
[Published Version]
View
| Files available
| DOI
| arXiv
2026 |
Published |
Conference Paper |
IST-REx-ID: 22719 |
Avni, G., Henzinger, T. A., Mallik, K., Sadhukhan, S., & Thejaswini, K. S. (2026). Decoupled planning for multiple omega-regular objectives. In 38th International Conference on Computer Aided Verification (Vol. 16682, pp. 237–257). Lisbon, Portugal: Springer Nature. https://doi.org/10.1007/978-3-032-32519-8_13
[Published Version]
View
| Files available
| DOI
| arXiv
2026 |
Published |
Conference Paper |
IST-REx-ID: 22754 |
Henzinger, T. A., Mazzocchi, N. A., Sarac, N. E., & Yılmaz, H. (2026). Extending QuAK with nested quantitative automata. In 38th International Conference on Computer Aided Verification (Vol. 16683, pp. 418–432). Lisbon, Portugal: Springer Nature. https://doi.org/10.1007/978-3-032-32526-6_20
[Published Version]
View
| Files available
| DOI
| arXiv
2026 |
Published |
Conference Paper |
IST-REx-ID: 22920 |
Asadi, A., Henzinger, T. A., Goharshady, E., Kebis, P., & Mallik, K. (2026). Generalized bidding games: Where bidding and stochastic games meet. In 37th International Conference on Concurrency Theory (Vol. 391). Liverpool, United Kingdom: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2026.13
[Published Version]
View
| Files available
| DOI
| arXiv
2026 |
Published |
Conference Paper |
IST-REx-ID: 22919 |
Asadi, A., Chatterjee, K., & Kebis, P. (2026). 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 (Vol. 391). Liverpool, United Kingdom: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2026.12
[Published Version]
View
| Files available
| DOI
| arXiv
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 22808 |
Kueffner, K. (2026). Monitoring algorithmic fairness in sequential decision making. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-22808
[Published Version]
View
| Files available
| DOI
2026 |
Published |
Conference Paper |
IST-REx-ID: 22921 |
Cano Cordoba, F., Henzinger, T. A., Kueffner, K., & Sarac, N. E. (2026). Monitoring discounted sum properties. In 37th International Conference on Concurrency Theory (Vol. 391). Liverpool, United Kingdom: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2026.22
[Published Version]
View
| Files available
| DOI
| arXiv
2026 |
Published |
Conference Paper |
IST-REx-ID: 22922 |
Chatterjee, K., Henzinger, T. A., & Piterman, N. (2026). A look back at strategy logic. In 37th International Conference on Concurrency Theory (Vol. 391). Liverpool, United Kingdom: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2026.6
[Published Version]
View
| Files available
| DOI
2026 |
Epub ahead of print |
Journal Article |
IST-REx-ID: 22999 |
|
|
Odriozola-Olalde, H., Cano Cordoba, F., Könighofer, B., Arana-Arexolaleiba, N., Zamalloa, M., & Perez-Cerrolaza, J. (2026). Shielded reinforcement learning for industrial applications: A systematic literature survey. Intelligent Systems with Applications. Elsevier. https://doi.org/10.1016/j.iswa.2026.200729
[Published Version]
View
| DOI
| Download Published Version (ext.)
2026 |
Published |
Conference Paper |
IST-REx-ID: 22622 |
Richter, C., Chalupa, M., Jakobs, M. C., & Wehrheim, H. (2026). Off-the-Shelf cooperative software verification by splitting programs dynamically. In Software Engineering 2026 (Vol. P-377, pp. 41–42). Bonn, Switzerland: Gesellschaft für Informatik. https://doi.org/10.18420/se2026_45
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Journal Article |
IST-REx-ID: 20866 |
Bartocci, E., Chalupa, M., Henzinger, T. A., Nickovic, D., & Oliveira da Costa, A. (2025). Hypernode automata. Acta Informatica. Springer Nature. https://doi.org/10.1007/s00236-025-00509-8
[Published Version]
View
| Files available
| DOI
| arXiv