transafeailab Goto Github PK

acasxu

Verification and simulation of AcasXu closed-loop system

aerobenchvv

Simulation and analysis tools for autonomous F-16 maneuvers as a V&V benchmark

aerobenchvvpython

Python Version of F-16 Maneuver Verification Benchmark

agtf30

apollo-5.0

Fork of Apollo 5.0 for LGSVL Simulator

auto_lirpa

[NeurIPS 2020]auto_LiRPA: An Automatic Linear Relaxation based Perturbation Analysis Library for Neural Networks

breach

carmap

Fast 3D Feature Map Updates for Automobiles

cse-flc

CSE Faculty Learning Community

cv

System for organizing and deploying your CV in academia

deep-reinforcement-learning

Repo for the Deep Reinforcement Learning Nanodegree program

f1tenth_gym

This is the repository of the F1TENTH Gym environment.

f1tenth_labs

F1TENTH ROS simulator and lab skeleton packages with corresponding handout latex files

husky_simulator

Simulator packages for the Clearpath Husky for Indigo & prior. For kinetic, visit https://github.com/husky/husky

madras

Multi-Agent DRiving Simulator

mennos

Memory Efficient Neural-Network Operations used for neural network verification purposes

mipverify.jl

Evaluating Robustness of Neural Networks with Mixed Integer Programming

mixedrealitytoolkit-unity

Mixed Reality Toolkit (MRTK) provides a set of components and features to accelerate cross-platform MR app development in Unity.

monitoring

netron

Visualizer for neural network, deep learning, and machine learning models

nnenum

Neural Network Enumeration Tool

nnv

nnvpy

Python version of the NNV Neural Network Verification Tool

pymodelchecking

A Python model checking package

quantized_nn_backreach

Quantized Verification of Neural Networks using Backreachability for ACAS Xu

rtamt

Specification-based real-time monitoring library

simulator

A ROS/ROS2 Multi-robot Simulator for Autonomous Vehicles

skiros2

A skill-based platform for ROS v.2

truncated-mvn-sampler

Reimplementation using Python of the minimax tilting algorithm by Botev (2016) for simulation and iid sampling of the truncated multivariate normal distribution.

uclid

UCLID5: formal modeling, verification, and synthesis of computational systems