Shielded Learning for Resilience and Performance Based on Statistical Model Checking in Simulink.

Julius Adelt, Sebastian Bruch, Paula Herber, Mathis Niehage, Anne Remke

Browse the full VECoS paper archive.