7 citations · 11 across the 4 of their papers we have counts for
5 papers
Incremental Control Synthesis in Probabilistic Environments with Temporal Logic Constraints
Alphan Ulusoy, Tichakorn Wongpiromsarn, Calin Belta
In this paper, we present a method for optimal control synthesis of a plant that interacts with a set of agents in a graph-like environment. The control specification is given as a…
Optimal Multi-Robot Path Planning with LTL Constraints: Guaranteeing Correctness Through Synchronization
Alphan Ulusoy, Stephen L. Smith, Calin Belta
In this paper, we consider the automated planning of optimal paths for a robotic team satisfying a high level mission specification. Each robot in the team is modeled as a weighted…
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…
Robust Multi-Robot Optimal Path Planning with Temporal Logic Constraints
Alphan Ulusoy, Stephen L. Smith, Xu Chu Ding +1
In this paper we present a method for automatically planning robust optimal paths for a group of robots that satisfy a common high level mission specification. Each robot's motion…
Optimal Multi-Robot Path Planning with Temporal Logic Constraints
Alphan Ulusoy, Stephen L. Smith, Xu Chu Ding +2
In this paper we present a method for automatically planning optimal paths for a group of robots that satisfy a common high level mission specification. Each robot's motion in the…