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

We consider a random walk on $\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.