TY  - RPRT
TI  - Control Synthesis for Permutation-Symmetric High-Dimensional Systems With Counting Constraints
AU  - Petter Nilsson
AU  - Necmiye Ozay
PY  - 2018
UR  - https://arxiv.org/abs/1706.07863
ID  - 1706.07863
ER  -