-
LOGIC-IN
-
Teaching
-
Courses
-
Previous semesters
-
Wintersemester 2023/2024
Artificial Intelligence meets Formal Methods
Methods. For example, we investigate (1) how formal descriptions and models can be learned from data, (2) the expressive power of machine learning models, (3) how to learn automata using machine learning methods …