STARVERI: Efficient and Accurate Verification for Risk-Avoidance Routing in Leo Satellite Networks.

Chenwei Gu, Qian Wu, Zeqi Lai, Hewu Li, Jihao Li, Weisen Liu, Qi Zhang, Jun Liu, Yuanjie Li

Browse the full ICNP paper archive.