Kim G. Larsen, Axel Legay, Gerrit Nolte, Maximilian Schlüter, Mariëlle Stoelinga, Bernhard Steffen. Formal Methods Meet Machine Learning (F3ML). In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part III. Volume 13703 of Lecture Notes in Computer Science, pages 393-405, Springer, 2022. [doi]
Abstract is missing.