Toward Specification-Guided Active Mars Exploration for Cooperative Robot Teams.
Petter NilssonSofie HaesaertRohan ThakkerKyohei OtsuCristian Ioan VasileAli-Akbar Agha-MohammadiRichard M. MurrayAaron D. AmesPublished in: Robotics: Science and Systems (2018)