Intuitive modelling and formal analysis of collective behaviour in foraging ants. (English) Zbl 1533.92262
Pang, Jun (ed.) et al., Computational methods in systems biology. 21st international conference, CMSB 2023, Luxembourg City, Luxembourg, September 13–15, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14137, 44-61 (2023).