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 | OA
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
 
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
 
2022 | Thesis | IST-REx-ID: 11362 | OA
Learning verifiable representations
M. Lechner, Learning Verifiable Representations, ISTA, 2022.
View | Files available | DOI