The law of the iterated logarithm for a piecewise deterministic Markov process assured by the properties of the Markov chain given by its post-jump locations

Asymptotic couplinginvariant measurelaw of the iterated logarithmpiecewise deterministic Markov processrandom dynamical system