Revisiting Formal Methods for Autonomous Robots: A Structured Survey - (Invited Paper). - Atef Azaiez; David A. Anisi; Marie Farrell; Matt Luckcuck (TAROS, 2025)