The Verification and Validation for Intelligent and Trustworthy Autonomy Laboratory (VeriVITAL)'s repositories
behaverify
behavior tree verification
vnncomp2024
Verification of Neural Networks Competition Main Repository (VNN-COMP'24)
ARCH-COMP2020
ARCH Competition AINNCS 2020 - Benchmarks description
ARCH-COMP2021
Friendly ARCH AINNCS Competition - Benchmark Description
acasxu_closed_loop_sim
Closed-loop simulation code using ACAS Xu neural networks for collision avoidance
ARCH-COMP2022
Friendly ARCH AINNCS Competition - Benchmark Description
SemanticSegmentation
Semantic Segmentation with MATLAB
ARCH-COMP2024
ARCH AINNCS Friendly Competition - Benchmark Description
ARCH-COMP2023
ARCH AINNCS Friendly Competition - Benchmark Description
DJITelloPy
DJI Tello drone python interface using the official Tello SDK. Feel free to contribute!
nnv-1
Neural Network Verification Software Tool