In this paper, we prove a Pontryagin Maximum Principle for constrained
optimal control problems in the Wasserstein space of probability measures. The
dynamics, is described by a transport equation with non-local velocities and is
subject to end-point and running state constraints. Building on our previous
work, we combine the classical method of needle-variations from geometric
control theory and the metric differential structure of the Wasserstein spaces
to obtain a maximum principle stated in the so-called Gamkrelidze form.Comment: 35 page