TY  - RPRT
TI  - VeraRAN: Pre-Actuation Certification and Event-Causal Synchronization Repair for Asynchronous Multi-Interface RAN Plans
AU  - Yinghan Hou
AU  - Zongyou Yang
PY  - 2026
UR  - https://arxiv.org/abs/2608.01047
ID  - 2608.01047
ER  -