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

Chenwei Gu, Qian Wu, Zeqi Lai +6

Emerging satellite Internet constellations such as SpaceX's Starlink will deploy thousands of broadband satellites and construct Low-Earth Orbit(LEO) satellite networks(LSNs) in sp…