Gangyuan Jing, Rüdiger Ehlers, Hadas Kress-Gazit. Shortcut through an evil door: Optimality of correct-by-construction controllers in adversarial environments. In 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems, Tokyo, Japan, November 3-7, 2013. pages 4796-4802, IEEE, 2013. [doi]
Abstract is missing.