Taming the wild ant-lion; a counterexample to a conjecture of Böhm.

Published in: Math. Struct. Comput. Sci. (2017)

Keyphrases

model checking
ant colony optimization
ant colony
formal verification
ant colonies
databases
multi objective
real time
data mining
genetic algorithm
computer vision
multiresolution
swarm intelligence
ant colony algorithm