Optimization-based trajectory generation with linear temporal logic specifications.

Eric M. Wolff, Ufuk Topcu, Richard M. Murray

Browse the full ICRA paper archive.