Quenched invariance principle for random walks in dynamical balanced environment

We consider a balanced random walk in dynamical ergodic random environment and prove a quenched invariance principle, that is a convergence of the diffusively rescaled walk to Brownian motion for almost all environment. Our proof relies on martingale convergence theorem and on the maximal inequality of Alexandrov-Bakelman-Pucci.