Return to Article Details OBDD-based Universal Planning for Synchronized Agents in Non-Deterministic Domains Download Download PDF