Danielli A. Lima, Gina M. B. Oliveira. Formal analysis in a cellular automata ant model using swarm intelligence in robotics foraging task. In 2017 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2017, Banff, AB, Canada, October 5-8, 2017. pages 1793-1798, IEEE, 2017. [doi]
Abstract is missing.