Vigilant Algorithmic Monitoring of Software
Project Period: 2022-01-01 – 2026-12-31
Funder:
European Research Council
Acronym
VAMOS
Principal Investigator
Department(s)
Grant Number
101020093
Grant DOI
Funder
European Research Council
Funder Schema
H2020-ERC-AdG
Funder Registry
93 Publications
2026 |
Published |
Conference Paper |
IST-REx-ID: 22006 |
Quantitative monitoring of Signal First-Order logic
M. Chalupa, T.A. Henzinger, N.E. Sarac, E. Yu, in:, 27th International Symposium on Formal Methods, Springer Nature, 2026, pp. 214–233.
[Published Version]
View
| Files available
| DOI
| arXiv
M. Chalupa, T.A. Henzinger, N.E. Sarac, E. Yu, in:, 27th International Symposium on Formal Methods, Springer Nature, 2026, pp. 214–233.
2026 |
Published |
Journal Article |
IST-REx-ID: 21012 |
| 
|
Certificates in AI: Learn but verify
C. Barrett, T.A. Henzinger, S.A. Seshia, Communications of the ACM 69 (2026) 66–75.
[Published Version]
View
| Files available
| DOI
C. Barrett, T.A. Henzinger, S.A. Seshia, Communications of the ACM 69 (2026) 66–75.
2026 |
Published |
Thesis | MS |
IST-REx-ID: 21401 |
Privacy-preserving runtime verification
M. Karimi, Privacy-Preserving Runtime Verification, Institute of Science and Technology Austria, 2026.
[Published Version]
View
| Files available
| DOI
M. Karimi, Privacy-Preserving Runtime Verification, Institute of Science and Technology Austria, 2026.
2026 |
Published |
Conference Paper |
IST-REx-ID: 22103 |
Explaining decisions one conversation at a time: Opportunities and risks of LLMs as explainability assistants
F. Cano Cordoba, in:, Proceedings of the 18th International Conference on Agents and Artificial Intelligence, Science and Technology Publications, 2026, pp. 4689–4696.
[Accepted Version]
View
| DOI
| Download Accepted Version (ext.)
F. Cano Cordoba, in:, Proceedings of the 18th International Conference on Agents and Artificial Intelligence, Science and Technology Publications, 2026, pp. 4689–4696.
2026 |
Published |
Conference Paper |
IST-REx-ID: 22321 |
Energy shields for fairness
F. Cano Cordoba, T.A. Henzinger, K. Kueffner, in:, Proceedings of the 2026 ACM Conference on Fairness, Accountability, and Transparency, Association for Computing Machinery, 2026, pp. 4243–4275.
[Published Version]
View
| Files available
| DOI
| arXiv
F. Cano Cordoba, T.A. Henzinger, K. Kueffner, in:, Proceedings of the 2026 ACM Conference on Fairness, Accountability, and Transparency, Association for Computing Machinery, 2026, pp. 4243–4275.
2026 |
Published |
Conference Paper |
IST-REx-ID: 22617 |
Dicey games: Shared sources of randomness in distributed systems
L.J. Brice, T.A. Henzinger, K.S. Thejaswini, in:, 41st Annual Symposium on Logic in Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026.
[Published Version]
View
| Files available
| DOI
| arXiv
L.J. Brice, T.A. Henzinger, K.S. Thejaswini, in:, 41st Annual Symposium on Logic in Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026.
2026 |
Published |
Conference Paper |
IST-REx-ID: 22717 |
Randomise alone, reach as a team
L.J. Brice, T.A. Henzinger, A. Montaseri, A. Shafiee, K.S. Thejaswini, in:, 38th International Conference on Computer Aided Verification, Springer Nature, 2026, pp. 215–236.
[Published Version]
View
| Files available
| DOI
| arXiv
L.J. Brice, T.A. Henzinger, A. Montaseri, A. Shafiee, K.S. Thejaswini, in:, 38th International Conference on Computer Aided Verification, Springer Nature, 2026, pp. 215–236.
2026 |
Published |
Conference Paper |
IST-REx-ID: 22719 |
Decoupled planning for multiple omega-regular objectives
G. Avni, T.A. Henzinger, K. Mallik, S. Sadhukhan, K.S. Thejaswini, in:, 38th International Conference on Computer Aided Verification, Springer Nature, 2026, pp. 237–257.
[Published Version]
View
| Files available
| DOI
| arXiv
G. Avni, T.A. Henzinger, K. Mallik, S. Sadhukhan, K.S. Thejaswini, in:, 38th International Conference on Computer Aided Verification, Springer Nature, 2026, pp. 237–257.
2026 |
Published |
Conference Paper |
IST-REx-ID: 22754 |
Extending QuAK with nested quantitative automata
T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, H. Yılmaz, in:, 38th International Conference on Computer Aided Verification, Springer Nature, 2026, pp. 418–432.
[Published Version]
View
| Files available
| DOI
| arXiv
T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, H. Yılmaz, in:, 38th International Conference on Computer Aided Verification, Springer Nature, 2026, pp. 418–432.
2026 |
Published |
Conference Paper |
IST-REx-ID: 22920 |
Generalized bidding games: Where bidding and stochastic games meet
A. Asadi, T.A. Henzinger, E. Goharshady, P. Kebis, K. Mallik, in:, 37th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026.
[Published Version]
View
| Files available
| DOI
| arXiv
A. Asadi, T.A. Henzinger, E. Goharshady, P. Kebis, K. Mallik, in:, 37th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026.
2026 |
Published |
Conference Paper |
IST-REx-ID: 22919 |
PAC learning in turn-based stochastic games with reachability objectives: A decentralized private approach via expected conditional distance
A. Asadi, K. Chatterjee, P. Kebis, in:, 37th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026.
[Published Version]
View
| Files available
| DOI
| arXiv
A. Asadi, K. Chatterjee, P. Kebis, in:, 37th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026.
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 22808 |
Monitoring algorithmic fairness in sequential decision making
K. Kueffner, Monitoring Algorithmic Fairness in Sequential Decision Making, Institute of Science and Technology Austria, 2026.
[Published Version]
View
| Files available
| DOI
K. Kueffner, Monitoring Algorithmic Fairness in Sequential Decision Making, Institute of Science and Technology Austria, 2026.
2026 |
Published |
Conference Paper |
IST-REx-ID: 22921 |
Monitoring discounted sum properties
F. Cano Cordoba, T.A. Henzinger, K. Kueffner, N.E. Sarac, in:, 37th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026.
[Published Version]
View
| Files available
| DOI
| arXiv
F. Cano Cordoba, T.A. Henzinger, K. Kueffner, N.E. Sarac, in:, 37th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026.
2026 |
Published |
Conference Paper |
IST-REx-ID: 22922 |
A look back at strategy logic
K. Chatterjee, T.A. Henzinger, N. Piterman, in:, 37th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, T.A. Henzinger, N. Piterman, in:, 37th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026.
2026 |
Epub ahead of print |
Journal Article |
IST-REx-ID: 22999 |
|
|
Shielded reinforcement learning for industrial applications: A systematic literature survey
H. Odriozola-Olalde, F. Cano Cordoba, B. Könighofer, N. Arana-Arexolaleiba, M. Zamalloa, J. Perez-Cerrolaza, Intelligent Systems with Applications 32 (2026).
[Published Version]
View
| DOI
| Download Published Version (ext.)
H. Odriozola-Olalde, F. Cano Cordoba, B. Könighofer, N. Arana-Arexolaleiba, M. Zamalloa, J. Perez-Cerrolaza, Intelligent Systems with Applications 32 (2026).
2026 |
Published |
Thesis | MS |
IST-REx-ID: 23079 |
Approximation of values and equilibria in stochastic games: Complexity and algorithms
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
A. Asadi, Approximation of Values and Equilibria in Stochastic Games: Complexity and Algorithms, Institute of Science and Technology Austria, 2026.
2026 |
Published |
Conference Paper |
IST-REx-ID: 22104 |
Machine unlearning using forgetting neural networks
A. Hatua, T.T. Nguyen, F. Cano Cordoba, A.H. Sung, in:, Proceedings of the 18th International Conference on Agents and Artificial Intelligence, Science and Technology Publications, 2026, pp. 1536–1546.
[Published Version]
View
| Files available
| DOI
| arXiv
A. Hatua, T.T. Nguyen, F. Cano Cordoba, A.H. Sung, in:, Proceedings of the 18th International Conference on Agents and Artificial Intelligence, Science and Technology Publications, 2026, pp. 1536–1546.
2025 |
Published |
Journal Article |
IST-REx-ID: 20866 |
Hypernode automata
E. Bartocci, M. Chalupa, T.A. Henzinger, D. Nickovic, A. Oliveira da Costa, Acta Informatica 62 (2025).
[Published Version]
View
| Files available
| DOI
| arXiv
E. Bartocci, M. Chalupa, T.A. Henzinger, D. Nickovic, A. Oliveira da Costa, Acta Informatica 62 (2025).
2025 |
Published |
Conference Paper |
IST-REx-ID: 21020 |
Privacy-preserving runtime verification
T.A. Henzinger, M. Karimi, K.S. Thejaswini, in:, Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security, Association for Computing Machinery, 2025, pp. 2774–2787.
[Published Version]
View
| Files available
| DOI
| arXiv
T.A. Henzinger, M. Karimi, K.S. Thejaswini, in:, Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security, Association for Computing Machinery, 2025, pp. 2774–2787.
2025 |
Published |
Conference Paper |
IST-REx-ID: 21089 |
Flavors of quantifiers in hyperlogics
M. Chalupa, T.A. Henzinger, A.A. Oliveira da Costa, in:, 45th Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025, p. 20:1-20:18.
[Published Version]
View
| Files available
| DOI
| arXiv
M. Chalupa, T.A. Henzinger, A.A. Oliveira da Costa, in:, 45th Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025, p. 20:1-20:18.