Intuitive modelling and formal analysis of collective behaviour in foraging ants
From MaRDI portal
Publication:6118954
DOI10.1007/978-3-031-42697-1_4MaRDI QIDQ6118954
Rocco De Nicola, Serenella Valiani, Omar Inverso, Luca Di Stefano
Publication date: 28 February 2024
Published in: Computational Methods in Systems Biology (Search for Journal in Brave)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Ants and agents: a process algebra approach to modelling ant colony behaviour
- Functional analysis, Sobolev spaces and partial differential equations
- A calculus of communicating systems
- SAT competition 2020
- Path efficiency of ant foraging trails in an artificial network
- An all-leader agent-based model for turning and flocking birds
- A brief account of runtime verification
- Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks
- SAT-Based Model Checking without Unrolling
- Spatial patterns in ant colonies
- Complex adaptive systems: Exploring the known, the unknown and the unknowable
- Flocking for Multi-Agent Dynamic Systems: Algorithms and Theory
- Tools and Algorithms for the Construction and Analysis of Systems
- Computer Aided Verification
- Verification, Model Checking, and Abstract Interpretation
This page was built for publication: Intuitive modelling and formal analysis of collective behaviour in foraging ants
