• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Verifying Policy-based Routing at Internet Scale.

Xiaozhe ShaoLixin Gao
Published in: INFOCOM (2020)
Keyphrases
  • inter domain
  • optimal policy
  • model checking
  • data sets
  • sufficient conditions
  • infinite horizon
  • asymptotically optimal