Synthesis of cost-optimal strong plans in non-deterministic domains