Chenwei Gu, Qian Wu, Zeqi Lai, Hewu Li, Jihao Li, Weisen Liu, Qi Zhang, Jun Liu 0063, Yuanjie Li. STARVERI: Efficient and Accurate Verification for Risk-Avoidance Routing in Leo Satellite Networks. In 32nd IEEE International Conference on Network Protocols, ICNP 2024, Charleroi, Belgium, October 28-31, 2024. pages 1-11, IEEE, 2024. [doi]
Abstract is missing.