A probabilistic approach to hazard mapping based on computer simulations. An example for lava flows at Mount Etna