Incremental synthesis of control policies for heterogeneous multi-agent systems with linear temporal logic specifications.

Tichakorn Wongpiromsarn, Alphan Ulusoy, Calin Belta, Emilio Frazzoli, Daniela Rus

Browse the full ICRA paper archive.