aogrcs Goto Github PK

stratox

Flight stack for an unmanned fixed-wing weather glider.

sv-benchmarks

Collection of Verification Tasks

team_mit

MIT

testbench

CDV simulator-based testbench with test templates (ROS Hydro and Indigo)

tftpathplanner

Velocity Based Motion Profile Path Generation

tis-interpreter

An interpreter for finding subtle bugs in programs written in standard C

titan

Drake, Atlas Drivers, and State Estimation

tool_lists

Links to tools by subject

toolchain

WP7: Top Level Project for the toolchain

trick

Trick Simulation Environment. Trick provides a common set of simulation capabilities and utilities to build simulations automatically.

trustinsoft

turbo2

Tegra Unmanned Retrieval Bot gen2, with NVIDIA Jetson TX2 and deep reinforcement learning

ub-canaries

collection of C/C++ programs that try to get compilers to exploit undefined behavior

utp-main

An implementation of Hoare and He's Unifying Theories of Programming in Isabelle

verifast

Research prototype tool for modular formal verification of C and Java programs

verker

Some Linux kernel library functions formally verified.

visionworkbench

The NASA Vision Workbench is a general purpose image processing and computer vision library developed by the Autonomous Systems and Robotics (ASR) Area in the Intelligent Systems Division at the NASA Ames Research Center.

wellclear

Well-Clear Boundary Models for Integration of UAS in the NAS

wenlong-autonomous-vehicle

Platform for Autonomous Vehicle based on Control System, Formal Verification, Tensorflow and ROS

youbot-ros-pkg

ROS stacks for the KUKA youBot