Shortcut through an evil door: Optimality of correct-by-construction controllers in adversarial environments. - Jing, Gangyuan; Ehlers, Rüdiger; Kress-Gazit, Hadas (2013)