Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

450 Publications


2026 | Published | Conference Paper | IST-REx-ID: 22006 | OA
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 | OA | PlanS
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA | PlanS
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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
 

2025 | Published | Journal Article | IST-REx-ID: 20866 | OA
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
 

2025 | Published | Conference Paper | IST-REx-ID: 21020 | OA
Henzinger, T. A., Karimi, M., & Thejaswini, K. S. (2025). Privacy-preserving runtime verification. In Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security (pp. 2774–2787). Taipei, Taiwan: Association for Computing Machinery. https://doi.org/10.1145/3719027.3765137
[Published Version] View | Files available | DOI | arXiv
 

2025 | Published | Conference Paper | IST-REx-ID: 21089 | OA
Chalupa, M., Henzinger, T. A., & Oliveira da Costa, A. A. (2025). Flavors of quantifiers in hyperlogics. In 45th Annual Conference on Foundations of Software Technology and Theoretical Computer Science (Vol. 360, p. 20:1-20:18). Pilani, India: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPICS.FSTTCS.2025.20
[Published Version] View | Files available | DOI | arXiv
 

2025 | Published | Conference Paper | IST-REx-ID: 21091 | OA
Henzinger, T. A., Kueffner, K., & Yu, E. (2025). Formal verification of neural certificates done dynamically. In 25th International Conference on Runtime Verification (Vol. 16087, pp. 54–72). Graz, Austria: Springer Nature. https://doi.org/10.1007/978-3-032-05435-7_4
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2025 | Published | Conference Paper | IST-REx-ID: 21092 | OA
Henzinger, T. A., Kueffner, K., Singh, V., & Sun, I. (2025). Alignment monitoring. In 25th International Conference on Runtime Verification (Vol. 16087, pp. 140–159). Graz, Austria: Springer Nature. https://doi.org/10.1007/978-3-032-05435-7_9
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

Filters and Search Terms

department=ToHe

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed