7 citations · 19 across the 10 of their papers we have counts for
7 papers · 1 filter
Temporal Logic Motion Control using Actor-Critic Methods
Xu Chu Ding, Jing Wang, Morteza Lahijanian +2
In this paper, we consider the problem of deploying a robot from a specification given as a temporal logic statement about some properties satisfied by the regions of a large, part…
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…
Synthesis of Distributed Control and Communication Schemes from Global LTL Specifications
Yushan Chen, Xu Chu Ding, Calin Belta
We introduce a technique for synthesis of control and communication strategies for a team of agents from a global task specification given as a Linear Temporal Logic (LTL) formula…
Least Squares Temporal Difference Actor-Critic Methods with Applications to Robot Motion Control
Reza Moazzez Estanjini, Xu Chu Ding, Morteza Lahijanian +3
We consider the problem of finding a control policy for a Markov Decision Process (MDP) to maximize the probability of reaching some states while avoiding some other states. This p…
Multi-robot Deployment From LTL Specifications with Reduced Communication
Marius Kloetzer, Xu Chu Ding, Calin Belta
In this paper, we develop a computational framework for fully automatic deployment of a team of unicycles from a global specification given as an LTL formula over some regions of i…
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…