BarrierBench: LLMs prüfen Barrierezertifikate für sichere dynamische Systeme
Die Sicherheit autonomer Systeme hängt entscheidend davon ab, ob ihre dynamischen Modelle zuverlässig verifiziert werden können. Traditionell erfolgt die Synthese von Barrierezertifikaten – mathematischen Funktionen, di…