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

Chenwei Gu Qian Wu 0001 Zeqi Lai Hewu Li Jihao Li Weisen Liu Qi Zhang 0102 Jun Liu 0063 Yuanjie Li STARVERI: Efficient and Accurate Verification for Risk-Avoidance Routing in Leo Satellite Networks. 1-11 2024 ICNP https://doi.org/10.1109/ICNP61940.2024.10858518 conf/icnp/2024 db/conf/icnp/icnp2024.html#GuWLLLLZLL24