Neural Network Verification with DSE. - Benedikt Böing; Falk Howar; Jelle Hüntelmann; Emmanuel Müller; Richard Stewing (OVERLAY@AI*IA, 2022)