Lechner M. 2022. Learning verifiable representations. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/11362
DOI: 10.15479/at:ista:11362

Lukina A, Schilling C, Henzinger TA. 2021. Into the unknown: active monitoring of neural networks. 21st International Conference on Runtime Verification. RV: Runtime Verification, LNCS, vol. 12974, 42–61.
LibreCat: https://research-explorer.ista.ac.at/record/10206
DOI: 10.1007/978-3-030-88494-9_3
WoS: 000719383800003
arXiv: 2009.06429

Deny S, Marre O, Botella-Soler V, Martius GS, Tkadik G. 2018. Nonlinear decoding of a complex movie from the mammalian retina, Institute of Science and Technology Austria,10.15479/AT:ISTA:98 .
LibreCat: https://research-explorer.ista.ac.at/record/5584
DOI: 10.15479/AT:ISTA:98