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
Lechner, M. (2022). Learning verifiable representations. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:11362
[Published Version] View | Files available | DOI
 

2021 | Conference Paper | IST-REx-ID: 10206 | OA
Lukina, A., Schilling, C., & Henzinger, T. A. (2021). Into the unknown: active monitoring of neural networks. In 21st International Conference on Runtime Verification (Vol. 12974, pp. 42–61). Cham: Springer Nature. https://doi.org/10.1007/978-3-030-88494-9_3
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2018 | Research Data | IST-REx-ID: 5584 | OA
Deny, S., Marre, O., Botella-Soler, V., Martius, G. S., & Tkačik, G. (2018). Nonlinear decoding of a complex movie from the mammalian retina. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:98
[Published Version] View | Files available | DOI
 

Filters and Search Terms

keyword="neural networks"

Search

Filter Publications