Shielded Learning for Resilience and Performance Based on Statistical Model Checking in Simulink. - Julius Adelt; Sebastian Bruch 002; Paula Herber; Mathis Niehage; Anne Remke (AISoLA, 2023)