LTLMoP: Experimenting with language, Temporal Logic and robot control.

Cameron Finucane, Gangyuan Jing, Hadas Kress-Gazit

Browse the full IROS paper archive.