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

by Wongpiromsarn, Tichakorn, Ulusoy, Alphan, Belta, Calin, Frazzoli, Emilio, Rus, Daniela L.
Published 2014

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

by Wongpiromsarn, Tichakorn, Ulusoy, Alphan, Belta, Calin, Frazzoli, Emilio, Rus, Daniela L.
Published 2013

Optimality and Robustness in Multi-Robot Path Planning with Temporal Logic Constraints

by Ulusoy, Alphan, Smith, Stephen L, Ding, Xu Chu, Belta, Calin, Rus, Daniela
Published 2021

Optimal multi-robot path planning with temporal logic constraints

by Ulusoy, Alphan, Smith, Stephen L., Ding, Xu Chu, Belta, Calin, Rus, Daniela L.
Published 2012