@conference{NiHaThOtVaAgMuAm-RSS-2018, author = {Nilsson, Petter and Haesaert, Sofie and Thakker, Rohan and Otsu, Kyohei and Vasile, Cristian Ioan and Agha-mohammadi, Ali-akbar and Murray, Richard M. and Ames, Aaron D.}, title = {{Toward Specification-Guided Active Mars Exploration for Cooperative Robot Teams}}, booktitle = {Robotics: Science and Systems Conference (RSS)}, pages = {1--9}, month = {June}, address = {Pittsburgh, Pennsylvania, USA}, year = {2018}, note = {\href{http://www.roboticsproceedings.org/rss14/p47.pdf}{link}} }