Forschung
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. Traditione…
arXiv – cs.AI