Incremental temporal logic synthesis of control policies for robots interacting with dynamic agents.

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

Browse the full IROS paper archive.