A new type of phase-space path integral

Evolution of Wigner's quasi-distribution of a quantum system is represented by means of a path integral in phase space. Instead of the Hamiltonian action, a new functional is present in the integral, and its extrema in the functional space are also given by the classical trajectories. The phase-space paths appear in the integral with real weights, so complex integrals are not necessary. The semiclassical approximation and some applications are discussed briefly.