@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}}
}