Filter-based Repair of Semantic Segmentation in Safety-Critical Systems. - Sebastian Schneider; Tomas Sujovolsky; Paolo Arcaini; Fuyuki Ishikawa; Truong Vinh Truong Duy (SANER, 2025)