Limit theorems for random walk in a mixing random environment

We consider a random walk on d+1 in a cone-mixing space-time random environment. We give a condition for a law of large numbers to hold. Furthermore, assuming an exponentially decreasing spatial-mixing condition, as well as an exponentially decreasing cone-mixing condition, an almost-sure quenched functional central limit theorem is proved by using a martingale approach.