TY  - RPRT
TI  - RepV: Safety-Separable Latent Spaces for Scalable Neurosymbolic Plan Verification
AU  - Yunhao Yang
AU  - Neel P. Bhatt
AU  - Pranay Samineni
AU  - Rohan Siva
AU  - Zhanyang Wang
AU  - Ufuk Topcu
PY  - 2025
UR  - https://arxiv.org/abs/2510.26935
ID  - 2510.26935
ER  -