Lu Feng, Mahsa Ghasemi, Kai-Wei Chang, Ufuk Topcu. Counterexamples for Robotic Planning Explained in Structured Language. In 2018 IEEE International Conference on Robotics and Automation, ICRA 2018, Brisbane, Australia, May 21-25, 2018. pages 7292-7297, IEEE, 2018. [doi]
Abstract is missing.