Effektive Abschirmung für Deep Reinforcement Learning in komplexen Raumfahrtaufgaben

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