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