1 paper
Damien Busatto-Gaston, Debraj Chakraborty, Shibashis Guha +2
In this paper, we investigate the combination of synthesis, model-based learning, and online sampling techniques to obtain safe and near-optimal schedulers for a preemptible task s…