Dynamics-driven adaptive abstraction for reactive high-level mission and motion planning