The Verification and Validation for Intelligent and Trustworthy Autonomy Laboratory (VeriVITAL)
@ttj of Institute for Software Integrated Systems, Electrical Engineering & Computer Science, Vanderbilt University
Nashville, TN
Pinned Repositories
behaverify
behavior tree verification
F1TenthVanderbilt
Code for F1Tenth Competition
hautlearn
hynger
hyst
HyST: A Source Transformation and Translation Tool for Hybrid Automaton Models
nnv
Neural Network Verification Software Tool
nnvmt
NNVMT: A Translation Tool for Feedforward Neural Network Models
rtreach
slsf_randgen
Automatically finding bugs in Matlab/Simulink compiler tool chain using randomized differential testing
vnn-comp
The Verification and Validation for Intelligent and Trustworthy Autonomy Laboratory (VeriVITAL)'s Repositories
verivital/nnv
Neural Network Verification Software Tool
verivital/hyst
HyST: A Source Transformation and Translation Tool for Hybrid Automaton Models
verivital/vnn-comp
verivital/behaverify
behavior tree verification
verivital/nnvmt
NNVMT: A Translation Tool for Feedforward Neural Network Models
verivital/TelloPy
DJI Tello drone controller python package
verivital/vnncomp2024
Verification of Neural Networks Competition Main Repository (VNN-COMP'24)
verivital/ARCH-COMP2020
ARCH Competition AINNCS 2020 - Benchmarks description
verivital/ARCH-COMP2021
Friendly ARCH AINNCS Competition - Benchmark Description
verivital/hautlearn
verivital/rtreach
verivital/AcasXu
Verification and simulation of AcasXu closed-loop system
verivital/acasxu_closed_loop_sim
Closed-loop simulation code using ACAS Xu neural networks for collision avoidance
verivital/ARCH-COMP2022
Friendly ARCH AINNCS Competition - Benchmark Description
verivital/CORA
Toolbox for Reachability Analysis
verivital/onnx2nnv
verivital/passel
verivital/SemanticSegmentation
Semantic Segmentation with MATLAB
verivital/stl-gym
A tool for modifying reinforcement learning environments to incorporate Signal Temporal Logic (STL) specifications in the reward function.
verivital/ARCH-COMP2024
ARCH AINNCS Friendly Competition - Benchmark Description
verivital/hynger
verivital/ARCH-2019
Contains all the benchmarks presented at ARCH 2019
verivital/ARCH-COMP2023
ARCH AINNCS Friendly Competition - Benchmark Description
verivital/cell_flows
verivital/DJITelloPy
DJI Tello drone python interface using the official Tello SDK. Feel free to contribute!
verivital/m2nist
Semantic Segmentation experiments with M2NIST
verivital/MLVS
verivital/nnenum
Neural Network Enumeration Tool
verivital/nnv-1
Neural Network Verification Software Tool
verivital/veritex