Multi-Agent Planning with Cardinality: Towards Autonomous Enforcement of Spectrum Policies | IEEE Conference Publication | IEEE Xplore