Verifying Policy-based Routing at Internet Scale.

Xiaozhe Shao Lixin Gao

Published in: INFOCOM (2020)

Keyphrases

inter domain
optimal policy
model checking
data sets
sufficient conditions
infinite horizon
asymptotically optimal