TY  - RPRT
TI  - STARVERI: Efficient and Accurate Verification for Risk-Avoidance Routing in LEO Satellite Networks
AU  - Chenwei Gu
AU  - Qian Wu
AU  - Zeqi Lai
AU  - Hewu Li
AU  - Jihao Li
AU  - Weisen Liu
AU  - Qi Zhang
AU  - Jun Liu
AU  - Yuanjie Li
PY  - 2024
UR  - https://arxiv.org/abs/2412.16496
ID  - 2412.16496
ER  -