We are excited to announce that our work “Verification of Autonomous Systems: the Road Ahead” has been accepted to ICRA@40, September 23-26, 2024 in Rotterdam, The Netherlands! This work was produced by members of the IEEE RAS TC for Verification of Autonomous Systems.