@misc{indiciaeeca38414bf72,
  title = {From Points to Sets: Set-Based Safety Verification in the Latent Space},
  author = {Wenyuan Wu and Peng Xie and Zhen Zhang and Yanliang Huang and Karl H. Johansson and Amr Alanwar},
  year = {2026},
  url = {https://arxiv.org/abs/2604.05799},
  note = {Source identifier: 2604.05799}
}