Who Went Where When on the Lunar Surface: Forensic Trajectory Analysis to Identify Byzantine Rovers

Abstract

Future planetary surface missions are likely to involve multiple independently operated rovers sharing the same deployment region, raising the need to verify compliance with operational constraints such as Lunar Safety Zones. Because continuous in-situ observability is rarely available, such verification requires post-hoc reconstruction of rover trajectories from sparse telemetry, including odometry, pose priors, and relative inter-rover detections. We introduce the problem of forensic trajectory analysis for non-cooperative planetary rovers in the presence of Byzantine agents: rovers that provide miscalibrated or deliberately falsified measurements to support an incorrect trajectory. We show that standard outlier-robust pose graph optimisation methods are vulnerable in this setting, because Byzantine rovers can generate measurements that are internally consistent and numerous enough to make truthful incriminating measurements appear as outliers. To address this, we propose an attribution-aware trajectory estimation method that reasons over rover credibility rather than individual measurement validity. The method evaluates candidate credible rover subsets by comparing the statistical consistency of their internal and boundary relative detections against provided priors, and then estimates trajectories using only measurements attributed to credible agents. Across synthetic simulations and real planetary-analogue trajectory data, the proposed method identifies Byzantine rovers and produces significantly more accurate trajectory estimates than existing robust pose graph optimisation baselines.

The authors’ abstract, as arXiv lists it. arXiv’s listings, abstracts included, are free for anyone to reuse.

More in Robotics

• arXiv preprint · 2 October 2026

  WebUIProof: Benchmarking WebUI Code Generators with UI-Agent Execution Harness

  Yun-Yun Tsai, Yuning Mao, Shiqi Wang and 2 others
• arXiv preprint · 3 October 2026

  Playing social deduction games with reinforcement fine-tuned large language models

  Lingzhe Zhang, Yunpeng Zhai, Tong Jia and 7 others
• arXiv preprint · 2 October 2026

  Performance of Zero-determinant Strategies in Repeated Games without Discounting

  Masahiko Ueda
• arXiv preprint · 3 October 2026

  Evidence and Intervention: A Coupled Active-Inference Extension of Rational Speech Act Models

  Yonghyeon Gwon, Elliot Murphy and Chun Kee Chung
• arXiv preprint · 2 October 2026

  Coherence-Driven Belief Formation and Population Dynamics of Contagion in LLM Agents

  Tathagata Banerjee and Nima Moghaddas

All new papers in Robotics