Stochastic Density-Driven Optimal Control (D²OC) for multi-agent coverage and distribution matching. Uses Wasserstein distance as running cost with convergence guarantees for stochastic LTI systems. Use when designing decentralized multi-agent coverage, area coverage, distribution matching, or swarm control systems.