We consider additive functionals for a class of autoregressive processes and prove that their empirical measures with logarithmic averaging converge almost surely via a martingale decomposition. A method developed in our ...