Model checking algorithm based on ant colony swarm intelligence

DOI10.1007/978-3-642-04962-0_41zbMATH Open1187.68321OpenAlexW1604876518MaRDI QIDQ3399983FDOQ3399983

Authors: Xiangning Wu, Chengyu Hu, Yuan Wang 

Publication date: 15 January 2010

Published in: Communications in Computer and Information Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-04962-0_41

Recommendations

• Model Checking the Ant Colony Optimisation
• Ant colony optimization with partial order reduction for discovering safety property violations in concurrent models
• Model checking of a mobile robots perpetual exploration algorithm
• Ant algorithms: theory and applications
• scientific article; zbMATH DE number 910719

zbMATH Keywords

model checkingpheromoneautomated software testingant colony swarm intelligence

Mathematics Subject Classification ID

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

Cited In (4)

• Model Checking the Ant Colony Optimisation
• Modified ant colony algorithm for constructing finite state machines from execution scenarios and temporal formulas
• Swarm Intelligence Models: Ant Colony Systems Applied to BNF Grammars Rule Derivation
• Modeling and Optimization of a Swarm-Intelligent Inspection System

This page was built for publication: Model checking algorithm based on ant colony swarm intelligence

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