jadecastro Goto Github PK

awesome-formal-methods-robotics

carla

Open-source simulator for autonomous driving research.

conforming_example

A standalone package implementing the "conforming funnel" algorithm

d4rl

A benchmark for offline reinforcement learning.

drake

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

drake-maliput

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

ltlmop

A toolkit for designing and implementing LTL-based task specifications

reasyns

REActive SYnthesis for Nonlinear Systems: a Matlab toolbox

sentence-vae

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

slugs

SmalL bUt Complete GROne Synthesizer

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