Multi-Agent Task Allocation using Cross-Entropy Temporal Logic Optimization | IEEE Conference Publication | IEEE Xplore