chelseas

GlowupVibes.jl

Expr2MIP.jl

NNet

Documentation and scripts related to the .nnet file format. This file format specifies a simple text file to define feed-forward, fully-connected, ReLU activated neural networks. Example networks in this format can be found in the Reluplex repository.

obstacle_avoidance_mpc

simple nonlinear MPC

AdaptiveStressTestingToolbox

A toolbox for worst-case validation of autonomous policies

alpha-beta-CROWN

alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021 and 2022)

AutomotiveDrivingModels.jl

Driving simulation architecture for Julia

AutomotiveSimulator.jl

Package for automotive simulation in julia

AutoUrban.jl

Additional packages for AutomotiveDrivingModels.jl in urban driving simulation

C3M

Learning Certified Control Using Contraction Metric (CoRL 2020)

chelseas.github.io

chelseas

Config files for my GitHub profile.

course

CME212 Course Information

cpo

Constrained Policy Optimization

CVC4

CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

DeepRL.jl

Interface for deep reinforcement learning

garage

A toolkit for reproducible reinforcement learning research

gym_new_env

open ai gym environment + some new problems.

meshpy

2D/3D simplicial mesh generator interface for Python (Triangle, TetGen, gmsh)

Multigraphs.jl

NeuralVerification.jl

Methods to soundly verify deep neural networks

nnv

Maltab Toolbox For Neural Network Verification

OVERT

ReluplexCav2017

rllab

rllab is a framework for developing and evaluating reinforcement learning algorithms, fully compatible with OpenAI Gym.

robust_fusion

sat

SimulEstControl

Simultaneous estimation and control framework

SISLWiki

teach-me-to-tango