Alapfogalmak
Die Kombination von formalen Methoden und maschinellem Lernen ermöglicht sichere autonome Raumfahrtaufgaben.
Statisztikák
Dieser Abschnitt enthält keine Schlüsselmetriken oder wichtigen Zahlen.
Idézetek
"Die Kombination von formalen Methoden und maschinellem Lernen ermöglicht sichere autonome Raumfahrtaufgaben."