Startseite
Forschungsgruppe
Publikationen
Softwareentwicklung
Lehre
Aktivitäten
Auszeichnungen
Offene Stellen
Google Scholar

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

Bitte sehen Sie sich die englische Version hier hier an