Counterexamples for Robotic Planning Explained in Structured Language.

Lu Feng, Mahsa Ghasemi, Kai-Wei Chang, Ufuk Topcu

Browse the full ICRA paper archive.