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

Gangyuan Jing, Rdiger Ehlers, Hadas Kress-Gazit

Browse the full IROS paper archive.