Vigilant Algorithmic Monitoring of Software
Project Period: 2022-01-01 – 2026-12-31
Externally Funded
Acronym
VAMOS
Principal Investigator
Thomas A Henzinger
Department(s)
Henzinger Group
Grant Number
101020093
Funding Organisation
EC/H2020
3 Publications
2022 | Conference Paper | IST-REx-ID: 11355 | 
Information-flow Interfaces
E. Bartocci, T. Ferrere, T.A. Henzinger, D. Nickovic, A.O. Da Costa, in:, Fundamental Approaches to Software Engineering, Springer Nature, 2022, pp. 3–22.
View
| Files available
| DOI
E. Bartocci, T. Ferrere, T.A. Henzinger, D. Nickovic, A.O. Da Costa, in:, Fundamental Approaches to Software Engineering, Springer Nature, 2022, pp. 3–22.
2022 | Preprint | IST-REx-ID: 11366
Revisiting the adversarial robustness-accuracy tradeoff in robot learning
M. Lechner, A. Amini, D. Rus, T.A. Henzinger, ArXiv (n.d.).
View
| Files available
| DOI
| arXiv
M. Lechner, A. Amini, D. Rus, T.A. Henzinger, ArXiv (n.d.).
2022 | Thesis | IST-REx-ID: 11362 |
Learning verifiable representations
M. Lechner, Learning Verifiable Representations, ISTA, 2022.
View
| Files available
| DOI
M. Lechner, Learning Verifiable Representations, ISTA, 2022.