Shortcut Through an Evil Door: Optimality of Correct-by-Construction Controllers in Adversarial Environments

TitleShortcut Through an Evil Door: Optimality of Correct-by-Construction Controllers in Adversarial Environments
Publication TypeConference Paper
Year of Publication2013
AuthorsJing, G, Ehlers, R, Kress-Gazit, H
Conference NameIEEE International Conference on Intelligent Robots and Systems
Citation KeyJKG_IROS13