8 citations · 17 across the 13 of their papers we have counts for
3 papers · 1 filter
Technical Report: A Receding Horizon Algorithm for Informative Path Planning with Temporal Logic Constraints
Austin Jones, Mac Schwager, Calin Belta
This technical report is an extended version of the paper 'A Receding Horizon Algorithm for Informative Path Planning with Temporal Logic Constraints' accepted to the 2013 IEEE Int…
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…
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…