mola

Multi-objective adversarial perturbations on LiDAR point clouds using NSGA-III to evaluate SLAM robustness. Integrates MOLA SLAM with Isaac Sim via ROS2.

Pick safe candidate landing regions on Mars + elevation profiles + 3D DEM view

Python scripts to load and visualise 3D particle distributions from MAVEN instruments (SWEA, STATIC, SEP) using pytplot, xarray, and matplotlib.

Formal verification of PointNet for LiDAR point clouds using ERAN and α,β-CROWN, with NSGA-III adversarial weights

Scripts and preliminary analysis for constructing a global Mars MOLA DEM