Semi-classical dynamics using initial value representations and coherent state path integrals