Motion and action planning under LTL specifications using navigation functions and action description language.

Meng Guo, Karl Henrik Johansson, Dimos V. Dimarogonas

Browse the full IROS paper archive.