wird geladen
ShieldVLA: Sicherheits-Alignment für Vision-Language-Action-Modelle via HJ-Reachability · Lumeric