Home
Legals
Privacy Policy
Accessibility
Sitemap
KIT

Home
Team
Offers
Teaching
Research
Publications

Logic of Autonomous Dynamical Systems

Automatic dL Model Quality Evaluation

Head

Prof. Dr. André Platzer
Building 50.34
Am Fasanengarten 5
D-76131 Karlsruhe

Team Assistant

Laurence Böhnke
Building 50.34, Raum 155
Am Fasanengarten 5
D-76131 Karlsruhe

KIT – The Research University in the Helmholtz Association

Home
Legals
Privacy Policy
Accessibility
KIT