Sicherheitszusagen für Systeme mit unbekannten Dynamiken sind entscheidend für die Sicherheit autonomer Systeme.