Wintersemester 2020/21
| (Pro-)Seminar: Methods for Analysis and Quality Assurance in Computer Aided Engineering (CAE) | Dieses (Pro-)Seminar befasst sich mit aktuellen Forschungsthemen im Bereich CAE. Schwerpunkte werden „Formale Methoden (IC3/PDR, POMDPs und MaxSAT) und Lernverfahren (Machine Learning Techniken mit Anwendung in der Mustererkennung von Time-Series Data) sein. |