Formal Methods Meet Machine Learning (F3ML)
Kim G. Larsen, Axel Legay, Gerrit Nolte, Maximilian Schlüter, Mariëlle Stoelinga, Bernhard Steffen
Topics & Concepts
Computer scienceArtificial intelligenceProgramming languageSoftware engineeringExplainable Artificial Intelligence (XAI)Machine Learning and AlgorithmsMachine Learning and Data Classification