Simulation and verification of a formalism for individual based models

What is it about?

PALPS allows us to produce spatially-explicit individual-based ecological models and to reason about their behavior

Featured Image

Why is it important?

We may specify a system as the collection of individuals of various species located in space. In PALPS, the individuals move through their life cycle while changing their location and interact with each other in various ways such as predation, infection or mating.