Volume: Vol-4208 REFSQ 2026 | Year: 2026

Paper: « doc-sym-short1 | doc-sym-short2 | doc-sym-short3 »

Bidirectional Traceability between Datasets and ODDs: A Formal Approach for ML-Based Safety-Critical Development

• Martin Rabe

PDF