核心概念
Die Kombination von formalen Methoden und maschinellem Lernen ermöglicht sichere autonome Raumfahrtaufgaben.
統計資料
Dieser Abschnitt enthält keine Schlüsselmetriken oder wichtigen Zahlen.
引述
"Die Kombination von formalen Methoden und maschinellem Lernen ermöglicht sichere autonome Raumfahrtaufgaben."