Policy-contingent abstraction for robust robot control