Personal tools
You are here: Home Events Luca Bortolussi - Lab lunch 2011

Luca Bortolussi - Lab lunch 2011

"Can fluid ants eat solid food?"

In this talk, we will discuss a simple model of ants searching for food . Ant foraging  is  a large collective adaptive system, in which single agents move by making local decisions based on signals (pheromone trails) left by other ants. From these local rules, a global behaviour emerges: ants are able not only to find food, but also to find the shortest path to it.
We will look at ant foraging modelling in the context of stochastic process algebras, and discuss how the stochastic and fluid semantics can be used in a complementary way to understand the emergent behaviour.

Document Actions