Before revision:  Our goal is to design control policies for sensing robots so that they can accomplish complex collaborative high level tasks captured by global temporal logic specifications.
After revision:  Our goal is to design control policies for sensing robots so that they can accomplish collaborative tasks captured by global temporal logic specifications.