Recent liquid water flow on Mars has been proposed based on geomorphological features,
such as gullies. Recurring slope lineae—seasonal flows that are darker than their …

Since a key requirement of known life forms is available water (water activity; aw), recent
searches for signatures of past life in terrestrial and extraterrestrial environments have …

Determining whether liquid water exists on the Martian surface is central to understanding
the hydrologic cycle and potential for extant life on Mars. Recurring slope lineae, narrow …

Reconciling the geology of Mars with models of atmospheric evolution remains a major
challenge. Martian geology is characterized by past evidence for episodic surface liquid …

Water is a requirement for life as we know it. Indirect evidence of transient liquid water has
been observed from orbiter on equatorial Mars, in contrast with expectations from large …

A committee of the Mars Exploration Program Analysis Group (MEPAG) has reviewed and
updated the description of Special Regions on Mars as places where terrestrial organisms …

This letter investigates the motion planning of autonomous dynamical systems modeled by
Markov decision processes (MDP) with unknown transition probabilities over continuous …

The process of identifying the landing site for NASA's Mars 2020 rover began in 2013 by
defining threshold mission science criteria related to seeking signs of ancient habitable …

The combination of data-driven learning methods with formal reasoning has seen a surge of
interest, as either area has the potential to bolstering the other. For instance, formal methods …

Extensive evidence of landform-scale martian geomorphic changes has been acquired in
the last decade, and the number and range of examples of surface activity have increased …