Juel Hussain, Louise A. Dennis, Clare Dixon, Marie Farrell. Security-Minded Modelling and Verification of Autonomous Satellite Docking. In Fuyuki Ishikawa, Alcino Cunha, editors, Rigorous State-Based Methods - 12th International Conference, ABZ 2026, Tokyo, Japan, May 18-20, 2026, Proceedings. Volume 16579 of Lecture Notes in Computer Science, pages 70-88, Springer, 2026. [doi]
Abstract is missing.