Revisiting Formal Methods for Autonomous Robots: A Structured Survey