Resilient, Provably-Correct, and High-Level Robot Behaviors
Wong, Kai Weng, Ehlers, Rudiger, Kress-Gazit, HadasYear:
2018
Language:
english
Journal:
IEEE Transactions on Robotics
DOI:
10.1109/TRO.2018.2830353
File:
PDF, 1.12 MB
english, 2018