TY  - RPRT
TI  - From Points to Sets: Set-Based Safety Verification in the Latent Space
AU  - Wenyuan Wu
AU  - Peng Xie
AU  - Zhen Zhang
AU  - Yanliang Huang
AU  - Karl H. Johansson
AU  - Amr Alanwar
PY  - 2026
UR  - https://arxiv.org/abs/2604.05799
ID  - 2604.05799
ER  -