Almost Sure Invariance Principle for Continuous-Space Random Walk in Dynamic Random Environment

We consider a random walk on ${\mathbb{R}}^d$ in a polynomially mixing random environment that is refreshed at each time step. We use a martingale approach to give a necessary and sufficient condition for the almost-sure functional central limit theorem to hold.