Trends and Challenges of Policy Verification for Intent-based Networking towards 6G.

Dong Wang Ruiran Su Shenhu Zhang Yanxia Xing

Published in: ICCC Workshops (2022)

Keyphrases

lessons learned
real world
verification method
trend detection
technical challenges
distributed computing
web search
information systems
model checking
formal verification
peer to peer
optimal policy
high speed
case study
expected cost
asymptotically optimal
real time