Mahdi Etumi presents their paper (the best #FMAS2025 paper!) titled "Towards A Catalogue of Formalised Requirement Patterns for Robotic Space Missions".
The paper "Towards A Catalogue of Formalised Requirement Patterns for Robotic Space Missions" by Mahdi Etumi, Hazel Taylor, and Marie Farrell is in the #FMAS2025 proceedings: https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?FMAS2025.12
EPTCS: Towards A Catalogue of Requirement Patterns for Space Robotic Missions