Model Checking the Ant Colony Optimisation

DOI10.1007/978-3-642-15234-4_22MaRDI QIDQ3163947zbMATH OpenOpenAlexFDO

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

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)

Recommendations

• Model checking algorithm based on ant colony swarm intelligence
• Ant Colony Optimization with Adaptive Fitness Function for Satisfiability Testing
• scientific article; zbMATH DE number 2159380
• Ant colony optimization
• On the robustness of ant colony optimization
• Analysis of convergence of ant colony optimization algorithms
• scientific article; zbMATH DE number 2079505
• scientific article; zbMATH DE number 2013454

Cited in

(2)

• Model checking algorithm based on ant colony swarm intelligence
• Ant colony optimization with partial order reduction for discovering safety property violations in concurrent models

Describes a project that uses

Uses Software

• Concorde

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3163947)