molecular propagation, semiclassical quantum mechanics, level crossings, 
Wigner function, asymptotic semigroup, surface hopping algorithm