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

icon indicating a website link http://verivital.com/

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

Results 3 repositories owned by The Verification and Validation for Intelligent and Trustworthy Autonomy Laboratory (VeriVITAL)

nnv

110
Stars
48
Forks
Watchers

Neural Network Verification Software Tool

verified publisher icon verivital

F1TenthVanderbilt

16
Stars
11
Forks
Watchers

Code for F1Tenth Competition

verified publisher icon verivital

hyst

16
Stars
18
Forks
Watchers

HyST: A Source Transformation and Translation Tool for Hybrid Automaton Models

verified publisher icon verivital