Bridging higher-order logic and efficient computations for a rigorous analysis of idealised pathfinding ants.
Saved in:
| Title: | Bridging higher-order logic and efficient computations for a rigorous analysis of idealised pathfinding ants. |
|---|---|
| Authors: | Perini Brogi, Cosimo1, cosimo.perinibrogi@imtlucca.it, Maggesi, Marco2, marco.maggesi@unifi.it |
| Source: | International Journal on Software Tools for Technology Transfer; Dec2025, Vol. 27 Issue 6, p623-640, 18p |
| Database: | Applied Science & Technology Source |
| ISSN: | 14332779 |
|---|---|
| DOI: | 10.1007/s10009-025-00836-8 |
