As Soon as Probable: Optimal Scheduling under Stochastic Uncertainty.

Jean-Francois Kempf, Marius Bozga, Oded Maler

Browse the full TACAS paper archive.