— Recently, Linear Temporal Logic (LTL) has been successfully applied to high-level task and motion planning problems for mobile robots. One of the main attributes of LTL is its ...
Hadas Kress-Gazit, Georgios E. Fainekos, George J....
This paper considers the convergence problem in autonomous mobile robot systems. A natural algorithm for the problem requires the robots to move towards their center of gravity. Th...
: This paper describes a long-terra project to install socially interactive, autonomousmobile robots in public spaces. We have deployed four robots over the last three years, accum...
We have developed an autonomous robot system that takes well-composed photographs of people at social events, such as weddings and conference receptions. The robot, Lewis, navigat...
Zachary Byers, Michael Dixon, William D. Smart, Ci...
We have developed an autonomous robot system that takes well-composed photographs of people at social events, such as weddings and conference receptions. The robot, Lewis, navigat...
Zachary Byers, Michael Dixon, William D. Smart, Ci...