Die Kombination von formalen Methoden und maschinellem Lernen ermöglicht sichere autonome Raumfahrtaufgaben.