We study driver's optimal trajectory planning under uncertainty in the duration of a traffic light's green phase. interpret this as an control problem with objective minimizing expected cost based on fuel use, discomfort from rapid velocity changes, and time to destination. Treating framework dynamic programming, we show that probability distribution phase durations gives rise sequence Hamilton...