386 citations · 1.5k across the 80 of their papers we have counts for
3 papers · 2 filters
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…
MDP Optimal Control under Temporal Logic Constraints
Xu Chu Ding, Stephen L. Smith, Calin Belta +1
In this paper, we develop a method to automatically generate a control policy for a dynamical system modeled as a Markov Decision Process (MDP). The control specification is given…
Persistent Robotic Tasks: Monitoring and Sweeping in Changing Environments
Stephen L. Smith, Mac Schwager, Daniela Rus
We present controllers that enable mobile robots to persistently monitor or sweep a changing environment. The changing environment is modeled as a field which grows in locations th…