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.

3 Publications


2022 | Thesis | IST-REx-ID: 11362 | OA
M. Lechner, “Learning verifiable representations,” Institute of Science and Technology Austria, 2022.
[Published Version] View | Files available | DOI
 

2021 | Conference Paper | IST-REx-ID: 10206 | OA
A. Lukina, C. Schilling, and T. A. Henzinger, “Into the unknown: active monitoring of neural networks,” in 21st International Conference on Runtime Verification, Virtual, 2021, vol. 12974, pp. 42–61.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2018 | Research Data | IST-REx-ID: 5584 | OA
S. Deny, O. Marre, V. Botella-Soler, G. S. Martius, and G. Tkačik, “Nonlinear decoding of a complex movie from the mammalian retina.” Institute of Science and Technology Austria, 2018.
[Published Version] View | Files available | DOI
 

Filters and Search Terms

keyword="neural networks"

Search

Filter Publications