8 citations · 15 across the 4 of their papers we have counts for
Showing cs.ROShow all
2 papers · 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…
cs.RO2010★ 8 cited
Optimal Path Planning under Temporal Logic Constraints
Stephen L. Smith, Jana Tumova, Calin Belta +1
In this paper we present a method for automatically generating optimal robot trajectories satisfying high level mission specifications. The motion of the robot in the environment i…