Shortcut through an evil door: Optimality of correct-by-construction controllers in adversarial environments

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]

Authors

Gangyuan Jing

This author has not been identified. Look up 'Gangyuan Jing' in Google

Rüdiger Ehlers

This author has not been identified. Look up 'Rüdiger Ehlers' in Google

Hadas Kress-Gazit

This author has not been identified. Look up 'Hadas Kress-Gazit' in Google