Teams of mobile robots will play a crucial role in future missions to explore the surfaces of
extraterrestrial bodies. Setting up infrastructure and taking scientific samples are expensive …

The importance of autonomy in robotics is magnified when the robots need to be deployed
and operated in areas that are too dangerous or not accessible for humans, ranging from …

Abstract In recent years, Model‐Based Systems Engineering (MBSE) practices have been
applied in various industries to design, simulate and verify complex systems. The verification …

Abstract Service robots are increasingly being used to perform missions comprising
dangerous or tedious tasks previously executed by humans. However, their users—who …

This article presents an appendix to the original NeBula autonomy solution developed by
the Team Collaborative SubTerranean Autonomous Robots (CoSTAR), participating in the …

ABSTRACT TRACE (Traceable Robotic Activity Composer and Executive) is a tool designed
to address the modeling, verification, and execution of planned and contingent activities …

Robust mission planning is an essential component for mission autonomy to perform
complicated tasks in extreme environments. In this paper, we are interested in the role of …

Heterogeneous teams of multiple mobile robots will be important for future scientific
explorations of extraterrestrial surfaces or hazardous areas. Mission operation in such …

Teams of mobile robots will play a crucial role in future scientific missions to explore the
surfaces of extraterrestrial bodies such as Moon or Mars. Taking scientific samples is an …

The Europa Lander Mission Concept presents a number of challenges. The current mission
concept would land with a fixed amount of energy, an expected mission lifetime of …