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

Open in new window