Synthesis and stochastic assessment of cost-optimal schedules