@inproceedings{KBM13,
title = { As Soon as Probable: Optimal Scheduling under Stochastic Uncertainty },
author = {Kempf, Jean-Francois and Bozga, Marius and Maler, Oded},
year = {2013},
booktitle = {TACAS},
team = {TEMPO, DCS},
}
