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

behaverify Public
behavior tree verification

verivital/behaverify’s past year of commit activity

Python 13 MIT 2 0 0 Updated Oct 10, 2024
nnv Public
Neural Network Verification Software Tool

verivital/nnv’s past year of commit activity

MATLAB 114 49 10 0 Updated Oct 9, 2024
veritex Public Forked from Shaddadi/veritex

verivital/veritex’s past year of commit activity

Python 0 BSD-3-Clause 4 0 0 Updated Sep 13, 2024
ARCH-COMP2024 Public
ARCH AINNCS Friendly Competition - Benchmark Description

verivital/ARCH-COMP2024’s past year of commit activity

MATLAB 1 3 1 0 Updated May 13, 2024
vnncomp2024 Public
Verification of Neural Networks Competition Main Repository (VNN-COMP'24)

verivital/vnncomp2024’s past year of commit activity

4 0 3 0 Updated Apr 1, 2024
CORA Public Forked from TUMcps/CORA
Toolbox for Reachability Analysis

verivital/CORA’s past year of commit activity

MATLAB 1 GPL-3.0 35 0 0 Updated Mar 20, 2024
hautlearn Public

verivital/hautlearn’s past year of commit activity

MATLAB 2 2 0 0 Updated Oct 11, 2023
nnenum Public Forked from stanleybak/nnenum
Neural Network Enumeration Tool

verivital/nnenum’s past year of commit activity

Python 0 GPL-3.0 17 0 1 Updated May 17, 2023
onnx2nnv Public

verivital/onnx2nnv’s past year of commit activity

MATLAB 1 1 0 0 Updated Apr 3, 2023
vnn-comp Public

verivital/vnn-comp’s past year of commit activity

Python 12 8 5 7 Updated Mar 25, 2023

Provide feedback