TY - RPRT TI - Reliability Analysis of Monitoring System for Extraterrestrial Habitat using CTMC and Empirical Evaluation AU - Saurabh Band AU - Florian Stechmann AU - Malavika Unnikrishnan AU - Shadi Attarha AU - Christiane Heinicke AU - Andreas Willig AU - Anna Förster PY - 2023 UR - https://arxiv.org/abs/2305.08143 ID - 2305.08143 ER -