OBDD-based Universal Planning for Synchronized Agents in Non-Deterministic Domains