ISTA Research Explorer

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 |

Chalupa, Marek, et al. “Quantitative Monitoring of Signal First-Order Logic.” 27th International Symposium on Formal Methods, vol. 16557, Springer Nature, 2026, pp. 214–33, doi:10.1007/978-3-032-26220-2_11.

[Published Version] View | Files available | DOI | arXiv

Barrett, Clark, et al. “Certificates in AI: Learn but Verify.” Communications of the ACM, vol. 69, no. 1, Association for Computing Machinery, 2026, pp. 66–75, doi:10.1145/3737447.

[Published Version] View | Files available | DOI

2026 | Published | Thesis | MS | IST-REx-ID: 21401 |

Karimi, Mahyar. Privacy-Preserving Runtime Verification. Institute of Science and Technology Austria, 2026, doi:10.15479/AT-ISTA-21401.

[Published Version] View | Files available | DOI

2026 | Published | Conference Paper | IST-REx-ID: 22103 |

Cano Cordoba, Filip. “Explaining Decisions One Conversation at a Time: Opportunities and Risks of LLMs as Explainability Assistants.” Proceedings of the 18th International Conference on Agents and Artificial Intelligence, vol. 5, Science and Technology Publications, 2026, pp. 4689–96, doi:10.5220/0014483200004052.

[Accepted Version] View | DOI | Download Accepted Version (ext.)

2026 | Published | Book Chapter | IST-REx-ID: 22300

Avni, Guy, and Thomas A. Henzinger. “Bidding Games.” Games on Graphs. From Logic and Automata to Algorithms, edited by ‪Nathanaël Fijalkow, Cambridge University Press, 2026, pp. 529–69, doi:10.1017/9781009500678.022.

View | DOI

2026 | Published | Conference Paper | IST-REx-ID: 22294 |

Hatua, Amartya, et al. “Machine Unlearning Using Forgetting Neural Networks.” Proceedings of the 18th International Conference on Agents and Artificial Intelligence, vol. 2, SciTePress, 2026, pp. 1536–46, doi:10.5220/0014326500004052.

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

2026 | Published | Conference Paper | IST-REx-ID: 22321 |

Cano Cordoba, Filip, et al. “Energy Shields for Fairness.” Proceedings of the 2026 ACM Conference on Fairness, Accountability, and Transparency, Association for Computing Machinery, 2026, pp. 4243–75, doi:10.1145/3805689.3806807.

[Published Version] View | Files available | DOI | arXiv

2026 | Published | Conference Paper | IST-REx-ID: 22617 |

Brice, Leonard J., et al. “Dicey Games: Shared Sources of Randomness in Distributed Systems.” 41st Annual Symposium on Logic in Computer Science, vol. 380, 23:1-23:26, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026, doi:10.4230/LIPIcs.LICS.2026.23.

[Published Version] View | Files available | DOI | arXiv

Kebis, Pavol, et al. “Transcendence for Pisot Morphic Words over an Algebraic Base.” Ergodic Theory and Dynamical Systems, Cambridge University Press, 2026, pp. 1–22, doi:10.1017/etds.2026.10324.

[Published Version] View | DOI | Download Published Version (ext.) | arXiv

2026 | Published | Conference Paper | IST-REx-ID: 22717 |

Brice, Leonard J., et al. “Randomise Alone, Reach as a Team.” 38th International Conference on Computer Aided Verification, vol. 16682, Springer Nature, 2026, pp. 215–36, doi:10.1007/978-3-032-32519-8_12.

[Published Version] View | Files available | DOI | arXiv

2026 | Published | Conference Paper | IST-REx-ID: 22719 |

Avni, Guy, et al. “Decoupled Planning for Multiple Omega-Regular Objectives.” 38th International Conference on Computer Aided Verification, vol. 16682, Springer Nature, 2026, pp. 237–57, doi:10.1007/978-3-032-32519-8_13.

[Published Version] View | Files available | DOI | arXiv

2026 | Published | Conference Paper | IST-REx-ID: 22754 |

Henzinger, Thomas A., et al. “Extending QuAK with Nested Quantitative Automata.” 38th International Conference on Computer Aided Verification, vol. 16683, Springer Nature, 2026, pp. 418–32, doi:10.1007/978-3-032-32526-6_20.

[Published Version] View | Files available | DOI | arXiv

2026 | Published | Conference Paper | IST-REx-ID: 22920 |

Asadi, Ali, et al. “Generalized Bidding Games: Where Bidding and Stochastic Games Meet.” 37th International Conference on Concurrency Theory, vol. 391, 13:1-13:20, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026, doi:10.4230/LIPIcs.CONCUR.2026.13.

[Published Version] View | Files available | DOI | arXiv

2026 | Published | Conference Paper | IST-REx-ID: 22919 |

Asadi, Ali, et al. “PAC Learning in Turn-Based Stochastic Games with Reachability Objectives: A Decentralized Private Approach via Expected Conditional Distance.” 37th International Conference on Concurrency Theory, vol. 391, 12:1-12:23, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026, doi:10.4230/LIPIcs.CONCUR.2026.12.

[Published Version] View | Files available | DOI | arXiv

2026 | Published | Thesis | PhD | IST-REx-ID: 22808 |

Kueffner, Konstantin. Monitoring Algorithmic Fairness in Sequential Decision Making. Institute of Science and Technology Austria, 2026, doi:10.15479/AT-ISTA-22808.

[Published Version] View | Files available | DOI

2025 | Published | Journal Article | IST-REx-ID: 20866 |

Bartocci, Ezio, et al. “Hypernode Automata.” Acta Informatica, vol. 62, no. 4, 43, Springer Nature, 2025, doi:10.1007/s00236-025-00509-8.

[Published Version] View | Files available | DOI | arXiv

2025 | Published | Conference Paper | IST-REx-ID: 21020 |

Henzinger, Thomas A., et al. “Privacy-Preserving Runtime Verification.” Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security, Association for Computing Machinery, 2025, pp. 2774–87, doi:10.1145/3719027.3765137.

[Published Version] View | Files available | DOI | arXiv

2025 | Published | Conference Paper | IST-REx-ID: 21089 |

Chalupa, Marek, et al. “Flavors of Quantifiers in Hyperlogics.” 45th Annual Conference on Foundations of Software Technology and Theoretical Computer Science, vol. 360, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025, p. 20:1-20:18, doi:10.4230/LIPICS.FSTTCS.2025.20.

[Published Version] View | Files available | DOI | arXiv

2025 | Published | Conference Paper | IST-REx-ID: 21091 |

Henzinger, Thomas A., et al. “Formal Verification of Neural Certificates Done Dynamically.” 25th International Conference on Runtime Verification, vol. 16087, Springer Nature, 2025, pp. 54–72, doi:10.1007/978-3-032-05435-7_4.

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

2025 | Published | Conference Paper | IST-REx-ID: 21092 |

Henzinger, Thomas A., et al. “Alignment Monitoring.” 25th International Conference on Runtime Verification, vol. 16087, Springer Nature, 2025, pp. 140–59, doi:10.1007/978-3-032-05435-7_9.

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

ISTA Research Explorer

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

450 Publications

Filters and Search Terms

Search

Filter Publications

Display / Sort

Export / Embed

ISTA Research Explorer

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

450 Publications

Filters and Search Terms

Search

Filter Publications

Research Group

Display / Sort

Export / Embed

Export Options