Poisson germ-grain model

A Poisson germ-grain model assigns a measurable region to each point of a Poisson point process and takes the union of those regions. A location remains uncovered exactly when no Poisson point has a region containing it, so its coverage probability is determined by the intensity of the corresponding set of germs and marks.

For drops with intensity $\lambda (x,t,v)$, impact time $t$ and nonnegative volume $v$, let their radius at time $\tau$ be $r(\tau -t,v)$. The dry probability at $\xi$ isThe exponent is the intensity of drops whose patch covers the point by that time. An infinite exponent means zero dry probability. No spatial-homogeneity assumption is needed.