Name: The Verification and Validation for Intelligent and Trustworthy Autonomy Laboratory (VeriVITAL)
Type: Organization
Bio: @ttj of Institute for Software Integrated Systems, Electrical Engineering & Computer Science, Vanderbilt University
Twitter: verivital
Location: Nashville, TN
Blog: http://verivital.com/
The Verification and Validation for Intelligent and Trustworthy Autonomy Laboratory (VeriVITAL)'s Projects
Verification and simulation of AcasXu closed-loop system
Closed-loop simulation code using ACAS Xu neural networks for collision avoidance
Simulation and analysis tools for autonomous F-16 maneuvers as a V&V benchmark
Contains all the benchmarks presented at ARCH 2019
nnv repeatability package for ARCH-COMP19: Friendly competition for formal verification of neural network control systems (NNCS)
ARCH Competition AINNCS 2020 - Benchmarks description
Friendly ARCH AINNCS Competition - Benchmark Description
Friendly ARCH AINNCS Competition - Benchmark Description
ARCH AINNCS Friendly Competition - Benchmark Description
ARCH AINNCS Friendly Competition - Benchmark Description
behavior tree verification
publication lists with bibtex and PHP
CAN Bus Shield - MCP2515&MCP2551
The Charon tool for analyzing neural network robustness
Toolbox for Reachability Analysis
Verification of Continuous Time Recurrent Neural Networks (CTRNN)
Tool for reachability analysis and safety verification/falsification of differential algebraic equations
DJI Tello drone python interface using the official Tello SDK. Feel free to contribute!
ETH Robustness Analyzer for Deep Neural Networks
Code for F1Tenth Competition
Hylaa: A Tool for Formal Verification of Hybrid Automata with Linear ODEs