Daniil Chivilikhin, Vladimir Ulyantsev. Inferring automata-based programs from specification with mutation-based ant colony optimization. In Dirk V. Arnold, Enrique Alba, editors, Genetic and Evolutionary Computation Conference, GECCO '14, Vancouver, BC, Canada, July 12-16, 2014, Companion Material Proceedings. pages 67-68, ACM, 2014. [doi]
Abstract is missing.