Explore @verivital Open Source projects

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

verivital

Stars
247
Global Org. Rank 36,064 (Top 12 %)
Registered almost 10 years ago
Most used languages

MATLAB
56.0 %

Python
28.0 %

C++
8.0 %

Java
4.0 %

C#
4.0 %
Location 🇺🇸 United States
Country Total Rank 29,257
Country Ranking

MATLAB
106

C++
6,576

Java
8,054

nnv

Neural Network Verification Software Tool

F1TenthVanderbilt

Code for F1Tenth Competition

slsf_randgen

Automatically finding bugs in Matlab/Simulink compiler tool chain using randomized differential testing

hyst

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

vnn-comp

behaverify

behavior tree verification

nnvmt

NNVMT: A Translation Tool for Feedforward Neural Network Models

run_nnv_comparison

Comparison of NNV, Marabou, Reluval, Reluplex

vnncomp2024

Verification of Neural Networks Competition Main Repository (VNN-COMP'24)

ARCH-COMP2020

ARCH Competition AINNCS 2020 - Benchmarks description

nncs-brake

Closed loop system of the brake dynamics of the Carla simulator

ARCH-COMP2021

Friendly ARCH AINNCS Competition - Benchmark Description

rtreach

hautlearn

NNControlVerify

pdev

pde verification toolbox

CTRNN

Verification of Continuous Time Recurrent Neural Networks (CTRNN)

ARCH-COMP19-AINNCS

nnv repeatability package for ARCH-COMP19: Friendly competition for formal verification of neural network control systems (NNCS)

FaceLattice

passel

SemanticSegmentation

Semantic Segmentation with MATLAB

ARCH-COMP2022

Friendly ARCH AINNCS Competition - Benchmark Description

pdha

matlab code for examples

onnx2nnv

VandyCPS

Drone Competition for CPS-VO

ARCH-COMP2024

ARCH AINNCS Friendly Competition - Benchmark Description