most citedOptimal Path Planning under Temporal Logic Constraints

8 citations · 14 across the 3 of their papers we have counts for

collaborators
Showing 2012Show all

1 paper · 1 filter

cs.RO2012

Incremental Temporal Logic Synthesis of Control Policies for Robots Interacting with Dynamic Agents

Tichakorn Wongpiromsarn, Alphan Ulusoy, Calin Belta +2

We consider the synthesis of control policies from temporal logic specifications for robots that interact with multiple dynamic environment agents. Each environment agent is modele…