-
LOGIC-IN
-
Lehre
-
Lehrveranstaltungen
-
Ältere Semester
-
Wintersemester 2023/2024
Artificial Intelligence meets Formal Methods
expressive power of machine learning models, (3) how to learn automata using machine learning methods, (4) how to verify neural networks using formal methods, (5) how to use automata in reinforcement learning …