Die Kombination von formalen Methoden und maschinellem Lernen ermöglicht sichere autonome Raumfahrtaufgaben.
Schließen Sie die Lücke zwischen synthetischen und echten Bildern für die Raumfahrt-NN-Trainings.
Hybrider Ansatz zur Steuerung von Raumfahrzeug-Rendezvous durch Impulse.