@misc{indiciaebe6f3ceed6cb,
  title = {STARVERI: Efficient and Accurate Verification for Risk-Avoidance Routing in LEO Satellite Networks},
  author = {Chenwei Gu and Qian Wu and Zeqi Lai and Hewu Li and Jihao Li and Weisen Liu and Qi Zhang and Jun Liu and Yuanjie Li},
  year = {2024},
  url = {https://arxiv.org/abs/2412.16496},
  note = {Source identifier: 2412.16496}
}