Birk Torpmann-Hagen, Michael A. Riegler, Pål Halvorsen, Dag Johansen. Runtime Verification for Deep Learning Systems. In Mike Mannion, Tomi Männistö, Leszek A. Maciaszek, editors, Proceedings of the 20th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2025, Porto, Portugal, April 4-6, 2025. pages 367-377, SCITEPRESS, 2025. [doi]
Abstract is missing.