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

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

acasxu_closed_loop_sim Public
Closed-loop simulation code using ACAS Xu neural networks for collision avoidance

Python 0 GPL-3.0 2 0 0 Updated Dec 29, 2021
ARCH-COMP2021 Public
Friendly ARCH AINNCS Competition - Benchmark Description

MATLAB 3 3 0 0 Updated Oct 13, 2021
ARCH-COMP2020 Public
ARCH Competition AINNCS 2020 - Benchmarks description

MATLAB 3 2 0 0 Updated Sep 29, 2021
vnn-comp Public

Python 12 8 5 3 Updated Aug 25, 2021
ARCH-2019 Public
Contains all the benchmarks presented at ARCH 2019

MATLAB 0 2 0 0 Updated Aug 25, 2021
nnvmt Public
NNVMT: A Translation Tool for Feedforward Neural Network Models

Python 7 MIT 2 0 1 Updated Aug 25, 2021
nnv Public
Neural Network Verification Software Tool

MATLAB 62 31 24 0 Updated Jul 20, 2021
DJITelloPy Public
DJI Tello drone python interface using the official Tello SDK. Feel free to contribute!

Python 0 MIT 263 0 0 Updated Jun 18, 2021
hautlearn Public

Java 1 2 0 0 Updated Jun 13, 2021
SemanticSegmentation Public
Semantic Segmentation with MATLAB

Python 1 1 0 0 Updated Apr 28, 2021

Pinned