Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
339 Publications
2022 | Conference Paper | IST-REx-ID: 10774
Bartocci E, Ferrere T, Henzinger TA, Nickovic D, Da Costa AO. 2022. Flavors of sequential information flow. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). VMCAI: Verifcation, Model Checking, and Abstract Interpretation, LNCS, vol. 13182, 1–19.
View
| DOI
2022 | Conference Paper | IST-REx-ID: 11355 |

Bartocci E, Ferrere T, Henzinger TA, Nickovic D, Da Costa AO. 2022. Information-flow Interfaces. Fundamental Approaches to Software Engineering. FASE: Fundamental Approaches to Software EngineeringLNCS vol. 13241, 3–22.
View
| Files available
| DOI
2022 | Preprint | IST-REx-ID: 11366
Lechner M, Amini A, Rus D, Henzinger TA. Revisiting the adversarial robustness-accuracy tradeoff in robot learning. arXiv, 10.48550/arXiv.2204.07373.
View
| Files available
| DOI
| arXiv
2022 | Thesis | IST-REx-ID: 11362 |

Lechner M. 2022. Learning verifiable representations. ISTA.
View
| Files available
| DOI