Control Synthesis for Permutation-Symmetric High-Dimensional Systems With Counting Constraints | IEEE Journals & Magazine | IEEE Xplore