Artefact for "What a LiDAR-Inertial Filter's Covariance Is Worth to a Verified Planner: Measured versus Reported Localisation Uncertainty in an Exact Navigation Guarantee"
Simulator configuration, Point-LIO patch and commit, the 33 recorded runs' error files and logs, the PRISM models and every table's CSV for the paper "What a LiDAR-Inertial Filter's Covariance Is Worth to a Verified Planner: Measured versus Reported Localisation Uncertainty in an Exact Navigation Guarantee" (S. Phetman...