Research Thrust 3:

Testing, Evaluation and Verification of Large-scale Autonomous Vehicles (TEVLAV)


Dr. Y. Seong, N.C. A&T


Drs. A. Homaifar, A. Karimoddini, and J. Stephens, N.C. A&T


Research Thrust 3 will develop and provide technologies and tools for testing, evaluation, validation, and verification of heterogeneous Large Scale Autonomous Systems of Vehicles (LSASVs).

Thrust 3 breaks up this problem into three sub-thrusts:

  • 1) Developing formal modular verification approaches for LSASVs.
  • 2) Data-driven testing and evaluation of emergent behavior of LSASVs.
  • 3) Verification and validation of human-system interaction.