Kinodynamic Planning with μ-Calculus Specifications