Into the unknown: active monitoring of neural networks (extended version)

Konstantin Kueffner, Anna Lukina, Christian Schilling 0001, Thomas A. Henzinger. Into the unknown: active monitoring of neural networks (extended version). STTT, 25(4):575-592, August 2023. [doi]

Abstract

Abstract is missing.