Stabile Spielstrategien verbessern und verifizierte Sicherheit fördern