Searched for: subject%3A%22Formal%255C%252BMethods%22
(1 - 1 of 1)
document
Alonso-Mora, J. (author), DeCastro, Jonathan A. (author), Raman, Vasumathi (author), Rus, Daniela (author), Kress-Gazit, Hadas (author)
In the near future mobile robots, such as personal robots or mobile manipulators, will share the workspace with other robots and humans. We present a method for mission and motion planning that applies to small teams of robots performing a task in an environment with moving obstacles, such as humans. Given a mission specification written in...
journal article 2017