Void probability for growing Poisson rain patches ($\mathbb{P}(\xi \text{ dry at }\tau )=e^{-\mu (A_{\xi ,\tau })}$)

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.