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 robots equipped with noisy perception systems so that they can accomplish complex collaborative high level tasks captured by global temporal logic specifications.