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

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

verivital

Geek Repo

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

Location:Nashville, TN

Home Page:http://verivital.com/

Twitter:@verivital

Github PK Tool:Github PK Tool

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

nnv

Neural Network Verification Software Tool

Language:MATLABStargazers:107Issues:7Issues:55

hyst

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

Language:JavaLicense:NOASSERTIONStargazers:15Issues:9Issues:24

vnn-comp

Language:PythonStargazers:12Issues:10Issues:8

behaverify

behavior tree verification

Language:PythonLicense:MITStargazers:9Issues:4Issues:0

nnvmt

NNVMT: A Translation Tool for Feedforward Neural Network Models

Language:PythonLicense:MITStargazers:8Issues:2Issues:0

TelloPy

DJI Tello drone controller python package

Language:PythonLicense:NOASSERTIONStargazers:4Issues:2Issues:0

vnncomp2024

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

Stargazers:4Issues:2Issues:3

ARCH-COMP2020

ARCH Competition AINNCS 2020 - Benchmarks description

Language:MATLABStargazers:3Issues:4Issues:2

ARCH-COMP2021

Friendly ARCH AINNCS Competition - Benchmark Description

Language:MATLABStargazers:2Issues:3Issues:1

hautlearn

Language:MATLABStargazers:2Issues:7Issues:0

rtreach

Language:MATLABStargazers:2Issues:2Issues:0

AcasXu

Verification and simulation of AcasXu closed-loop system

Language:MATLABStargazers:1Issues:1Issues:0

acasxu_closed_loop_sim

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

License:GPL-3.0Stargazers:1Issues:0Issues:0

ARCH-COMP2022

Friendly ARCH AINNCS Competition - Benchmark Description

Language:MATLABStargazers:1Issues:3Issues:0

CORA

Toolbox for Reachability Analysis

Language:MATLABLicense:GPL-3.0Stargazers:1Issues:0Issues:0

onnx2nnv

Language:MATLABStargazers:1Issues:2Issues:0

passel

Language:C#Stargazers:1Issues:1Issues:0

SemanticSegmentation

Semantic Segmentation with MATLAB

Language:PythonStargazers:1Issues:2Issues:0

stl-gym

A tool for modifying reinforcement learning environments to incorporate Signal Temporal Logic (STL) specifications in the reward function.

Language:PythonLicense:MITStargazers:1Issues:1Issues:0

ARCH-COMP2024

ARCH AINNCS Friendly Competition - Benchmark Description

Language:MATLABStargazers:0Issues:2Issues:1

hynger

Language:MATLABLicense:LGPL-3.0Stargazers:0Issues:1Issues:0

ARCH-2019

Contains all the benchmarks presented at ARCH 2019

Language:MATLABStargazers:0Issues:2Issues:0

ARCH-COMP2023

ARCH AINNCS Friendly Competition - Benchmark Description

Language:MATLABStargazers:0Issues:1Issues:0

cell_flows

Language:MATLABStargazers:0Issues:2Issues:0

DJITelloPy

DJI Tello drone python interface using the official Tello SDK. Feel free to contribute!

Language:PythonLicense:MITStargazers:0Issues:1Issues:0

m2nist

Semantic Segmentation experiments with M2NIST

Language:PythonStargazers:0Issues:2Issues:0

MLVS

Language:PythonStargazers:0Issues:1Issues:0

nnenum

Neural Network Enumeration Tool

Language:PythonLicense:GPL-3.0Stargazers:0Issues:2Issues:0

nnv-1

Neural Network Verification Software Tool

Language:MATLABStargazers:0Issues:0Issues:0

veritex

Language:PythonLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0