On Formalisation of Martin Distance for Linear Dynamical Systems. - Sinha, Subhrajit; Nandanoori, Sai Pushpak; Huang, Bowen; Ramachandran, Thiagarajan; Bakker, Craig (2024)