Automated planning with induced qualitative models in dynamic robotic domains