wird geladen
Formale Verifikation von KI-Agenten-Skills: Drei Schichten zur mechanisch prüfbaren Fähigkeits-Eingrenzung · Lumeric