"Central limit theorem for a random walk with random obstacles in R^d",
Ann. Probab. 21 (1993), no.2, pp.936-960.
A random walk with obstacles in R^d (d>=2) is considered.
A probability measure is put on a space of obstacles,
giving a random walk with random obstacles. A central
limit theorem is then proven for this process when the
obstacles are distributed by a Gibbs state with sufficiently
low activity. The same problem is treated for a tagged particle
of an infinite hard core particle system.