stanfordasl Goto Github PK

stanfordasl.github.io

stanfordasl_legacy_site

stlcg

stlcg_ctrl_syn

Synthesizing a controller that satisfies stl specifications

stlhj

Code for “Signal Temporal Logic meets Hamilton-Jacobi Reachability: Connections and Applications” by Mo Chen, Qizhan Tam, Scott C. Livingston, and Marco Pavone.

stochasticedl

Sample Average Approximation for Stochastic Programming with Equality Constraints

stochasticscp

Sequential Convex Programming For Non-Linear Stochastic Optimal Control

surface-disinfect

trafficweavingcvae

trajectron

Code accompanying "The Trajectron: Probabilistic Multi-Agent Trajectory Modeling with Dynamic Spatiotemporal Graphs" by Boris Ivanovic and Marco Pavone.

trajectron-plus-plus

Code accompanying the ECCV 2020 paper "Trajectron++: Dynamically-Feasible Trajectory Forecasting With Heterogeneous Data" by Tim Salzmann*, Boris Ivanovic*, Punarjay Chakravarty, and Marco Pavone (* denotes equal contribution).

uasencounter

Unmanned Aerial System encounter simulation and MDP solution julia code

unbalanced-opf-toolkit

A general code base to formulate and solve unbalanced optimal power flow (OPF) problems written in MATLAB.

up

Sampling-based Reachability Analysis: A Random Set Theory Approach with Adversarial Sampling

velodyne

ROS support for Velodyne 3D LIDARs

vicon_bridge

This is a driver providing data from VICON motion capture systems. It is based on the vicon_mocap package from the starmac stacks. Additionally, it can handle multiple subjects / segments and allows to calibrate an origin of the vehicle(s) as this is somehow tedious with the VICON Tracker.

vio

Interface PX4 with Realsense T265

vtd_interface

website-dev