Model Checking the Ant Colony Optimisation

DOI10.1007/978-3-642-15234-4_22zbMath1202.68246OpenAlexW1855354778MaRDI QIDQ3163947

Flávio Rech Wagner, Tales Heimfarth, Lucio Mauro Duarte, Luciana Foss

Publication date: 27 October 2010

Published in: Distributed, Parallel and Biologically Inspired Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-15234-4_22

zbMATH Keywords

ant colony optimisationemergent behaviourprobabilistic model checkingself-organisation

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Uses Software

• Concorde

This page was built for publication: Model Checking the Ant Colony Optimisation