Preface: Advances in Formal Methods for Autonomous Systems - Luckcuck, Matt; Farrell, Marie; Gleirscher, Mario; Schwammberger, Maike (Science of computer programming, 2025)