Rigorous Analysis of Idealised Pathfinding Ants in Higher-Order Logic.

Marco Maggesi, Cosimo Perini Brogi

Browse the full ISoLA paper archive.