Trends and Challenges of Policy Verification for Intent-based Networking towards 6G | IEEE Conference Publication | IEEE Xplore