Nonperturbative real time propagation at finite temperature

A new formalism will be presented in order to study real time evolution of quantum systems at finite temperature. Probability distributions for time-correlated observables will be studied non-perturbatively and fully quantized. This works for various systems, including ones with tunneling phenomena. We have obtained good results with some computational methods which can be used on models with several degrees of freedom. Thus it looks feasible to study vacuum tunneling in real time for relevant field theories at finite T.