Related papers: An Introduction to Mars Terraforming, 2025 Worksho…
Determining the habitability of terrestrial exoplanets is a complex problem that represents the next major step for the astrophysical community. The majority of current models treat these planets as homogeneous or contain heterogeneity that…
For over a decade, scientists at NASA's Jet Propulsion Laboratory (JPL) have been recording measurements from the Martian surface as a part of the Mars Exploration Rovers mission. One quantity of interest has been the opacity of Mars's…
The implementation of a feasible colony on Mars has been discussed and analyzed for some time. It is noted that Mars offers all necessary in-situ resources to allow for self-sustainability, with the most efficient techniques and systems to…
This paper explores a simple question: How would we provide a high-quality search experience on Mars, where the fundamental physical limit is speed-of-light propagation delays on the order of tens of minutes? On Earth, users are accustomed…
We consider the problem of rover relocalization in the context of the notional Mars Sample Return campaign. In this campaign, a rover (R1) needs to be capable of autonomously navigating and localizing itself within an area of approximately…
Earth system analysis is the study of the joint dynamics of biogeophysical, social and technological processes on our planet. To advance our understanding of possible future development pathways and identify management options for…
Planetary surfaces are typically analyzed using high-level semantic concepts in natural language, yet vast orbital image archives remain organized at the pixel level. This mismatch limits scalable, open-ended exploration of planetary…
Martian subsurface habitability and astrobiology can be evaluated via a lava tube cave, without drilling. MACIE addresses two key goals of the Decadal Survey (2013-2022) and three MEPAG goals. New advances in robotic architectures,…
Our planet is experiencing an accelerated process of change associated to a variety of anthropogenic phenomena. The future of this transformation is uncertain, but there is general agreement about its negative unfolding that might threaten…
This document is the EnVision Venus orbiter proposal, submitted in October 2016 in response to ESA's M5 call for Medium-size missions for its Science Programme, for launch in 2029. Why are the terrestrial planets so different? Venus should…
Planetary exploration using aerial assets has the potential for unprecedented scientific discoveries on Mars. While NASA's Mars helicopter Ingenuity proved flight in Martian atmosphere is possible, future Mars rotorcraft will require…
The Mars Life Explorer (MLE) mission concept offers a critical opportunity to investigate whether extant life exists within the mid-latitude ice deposits of Mars. However, MLE's current science traceability matrix emphasizes habitability…
The article describes the automated documentation system designed to generate reports on research conducted by computer complex technical objects and systems in multi-level modeling environment {\guillemotleft}MARS{\guillemotright}. We…
These proceedings contain the papers that were presented at the 7th Workshop on Models for Formal Analysis of Real Systems (MARS 2026), which took place on 12 April 2026 in Turin, Italy, as a satellite event of the 29th International Joint…
For the past several decades, numerous attempts have been made to model the climate of Mars with extensive studies focusing on the planet's dynamics and the understanding of its climate. While physical modeling and data assimilation…
Space exploration technology continues to expand humanity's reach beyond Earth, and even more ambitious efforts are striving to establish long-duration human settlements on Mars. The dependence of martian settlers on life-support…
Endurance is a mission concept to explore and ultimately return samples from the Moon's largest and oldest impact basin, South Pole-Aitken (SPA). SPA holds the answers to many outstanding planetary science questions, including the earliest…
During its annual conference in 2025, the French Society of Astronomy \& Astrophysics (SF2A) hosted, for the fifth time, a special session dedicated to discussing the environmental transition within the French A\&A research community.…
The goal of the Mars Sample Return campaign is to collect soil samples from the surface of Mars and return them to Earth for further study. The samples will be acquired and stored in metal tubes by the Perseverance rover and deposited on…
Mounting evidence indicates that our planet might experience runaway effects associated to rising temperatures and ecosystem overexploitation, leading to catastrophic shifts on short time scales. Remediation scenarios capable of…