Efficient reactive controller synthesis for a fragment of linear temporal logic.

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

Browse the full ICRA paper archive.