Bridging higher-order logic and efficient computations for a rigorous analysis of idealised pathfinding ants
| Title: | Bridging higher-order logic and efficient computations for a rigorous analysis of idealised pathfinding ants |
|---|---|
| Authors: | Perini Brogi, CosimoAff1, IDs10009025008368_cor1; Maggesi, MarcoAff2 |
| Source: | International Journal on Software Tools for Technology Transfer. 27(6):623-640 |
| Database: | Springer Nature Journals |