jadecastro

drake-maliput

LTLMoP

A toolkit for designing and implementing LTL-based task specifications

reasyns

REActive SYnthesis for Nonlinear Systems: a Matlab toolbox

awesome-formal-methods-robotics

carla

Open-source simulator for autonomous driving research.

conforming_example

A standalone package implementing the "conforming funnel" algorithm

drake

A planning, control, and analysis toolbox for nonlinear dynamical systems. More info at

slugs

SmalL bUt Complete GROne Synthesizer

d4rl

A benchmark for offline reinforcement learning.

dreal3

New version of the dReal solver. More info at

drone-dataset-tools

The goal of this repo is to make the inD dataset as easy to use as possible. For this purpose we provide source code in Python, which allows the import and visualization of the dataset.

googletest

Google Test

imitation

Clean PyTorch implementations of imitation and reward learning algorithms

jadecastro.github.io

Sentence-VAE

PyTorch Re-Implementation of "Generating Sentences from a Continuous Space" by Bowman et al 2015 https://arxiv.org/abs/1511.06349

stable-baselines3

PyTorch version of Stable Baselines, reliable implementations of reinforcement learning algorithms.

stlcg

TimeOptimalPlanner

trajectory-transformer

Code for the paper "Offline Reinforcement Learning as One Big Sequence Modeling Problem"

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).