Hybrid dynamics of stochastic programs - Bortolussi, Luca; Policriti, Alberto (Theoretical computer science, 2010)