TY - RPRT TI - Probabilistic Runtime Verification, Evaluation and Risk Assessment of Visual Deep Learning Systems AU - Birk Torpmann-Hagen AU - Pål Halvorsen AU - Michael A. Riegler AU - Dag Johansen PY - 2025 UR - https://arxiv.org/abs/2509.19419 ID - 2509.19419 ER -