Formal Methods Meet Machine Learning - Larsen, Kim; Legay, Axel; Nolte, Gerrit; Schlüter, Maximilian; Stoelinga, Marielle; Steffen, Bernhard (Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning, 2022)