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]
@inproceedings{JingEK13,
title = {Shortcut through an evil door: Optimality of correct-by-construction controllers in adversarial environments},
author = {Gangyuan Jing and Rüdiger Ehlers and Hadas Kress-Gazit},
year = {2013},
doi = {10.1109/IROS.2013.6697048},
url = {http://dx.doi.org/10.1109/IROS.2013.6697048},
researchr = {https://researchr.org/publication/JingEK13},
cites = {0},
citedby = {0},
pages = {4796-4802},
booktitle = {2013 IEEE/RSJ International Conference on Intelligent Robots and Systems, Tokyo, Japan, November 3-7, 2013},
publisher = {IEEE},
}