Benign: An Automatic Optimization Framework for the Logic of Swarm Behaviors | IEEE Conference Publication | IEEE Xplore