Formal analysis in a cellular automata ant model using swarm intelligence in robotics foraging task | IEEE Conference Publication | IEEE Xplore