Verification and Synthesis of Autonomous Systems | GenAI Works