Startseite
Forschung
Publikationen
Auszeichnungen
Softwareentwicklung
Supervision
Lebenslauf
Google Scholar
Reisen

Automatische (KI-basierte) Verifikation und Steuerung von hochdimensionalen stochastischen cyber-physikalischen Systemen
 

Diese Seite befindet sich im Aufbau. Im Moment können Sie die englische Version hier sehen