IEEE ITSC Special Session on Simulation Verification of
Autonomous Driving Technologies

Safety assessment is a crucial step in the development and deployment of connected and autonomous vehicles. With the complex nature of autonomous vehicles and their reduced reliance on human interventions, the importance of simulation-based verification is becoming increasingly vital. Over the past few years, significant efforts have been devoted to developing state-of-the-art algorithms, methods, metrics, datasets, and simulation approaches for the verification and validation of autonomous systems. Therefore, this special session aims to bring together experts from diverse backgrounds, including manufacturers, regulation and certification, and academics producing research on new V&V techniques for autonomous systems. The session will focus on sharing the frontier developments in simulation verification of autonomous driving technologies.

The main objectives of this special session are to:

  • Identify challenges and opportunities regarding the verification and validation of autonomous systems.
  • Present state-of-the-art research to address these challenges.
  • Provide a platform for interaction between diverse research communities to unite forces and tackle the problems.

Topics of interest include, but are not limited to:

  • Methodological frameworks for simulation-based safety verification and validation.
  • Testing scenario generation for comprehensive trip safety evaluation.
  • Safe reinforcement learning, safe exploration, constrained reinforcement learning, safe learning + control theory.
  • Advanced simulation of edge case testing and evaluation.
  • Autonomous driving datasets, simulation, evaluations, and metrics.
  • Safety verification, certifying learning-based control under dynamical uncertainty, dependability analysis.

Instructions for Authors

Please submit your papers on using the code 9nqu1.

Formatting requirements, submission instructions, and general information for authors are available at Submitted papers shall not exceed six pages (two additional pages allowed with a fee) as a PDF file in IEEE two-column format.

All the accepted papers, if presented at IEEE ITSC 2023, will be published in IEEE Xplore. At least one co-author of each accepted paper must register for and attend the workshop.

Important Dates

  • May 22, 2023 - Submission deadline for special session papers
  • June 30, 2023 - Notification of paper acceptance
  • July 31, 2023 - Final paper submission deadline
  • September 24, 2023 - Special session date (tentative)


The members of the organisation committee are: