Startseite
Forschung
Publikationen
Auszeichnungen
Aktivitäten
Softwareentwicklung
Lebenslauf
Google Scholar

Formale Verifizierung, Lernen und Steuerung von hochdimensionalen stochastischen cyber-physikalischen Systemen
 

Bitte sehen Sie sich die englische Version hier hier an