Revising motion planning under Linear Temporal Logic specifications in partially known workspaces.

Meng Guo, Karl Henrik Johansson, Dimos V. Dimarogonas

Browse the full ICRA paper archive.