The Verification and Validation for Intelligent and Trustworthy Autonomy Laboratory (VeriVITAL)

@ttj of Institute for Software Integrated Systems, Electrical Engineering & Computer Science, Vanderbilt University