A Pontryagin Maximum Principle for State-Constrained Control Problems in Wasserstein Spaces | Synapse