Automatic OBDD-based Generation of Universal Plans in Non-Deterministic Domains