Chelsea Sidrane's Projects
IJulia notebooks for AA228/CS238 Decision Making Under Uncertainty course at Stanford University
A toolbox for worst-case validation of autonomous policies
alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021 and 2022)
Driving simulation architecture for Julia
Package for automotive simulation in julia
Additional packages for AutomotiveDrivingModels.jl in urban driving simulation
Learning Certified Control Using Contraction Metric (CoRL 2020)
Config files for my GitHub profile.
CME212 Course Information
Constrained Policy Optimization
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
Interface for deep reinforcement learning
Classifying the extra-ocular diseases from pre-op images
A toolkit for reproducible reinforcement learning research
Working with graphs in Julia
open ai gym environment + some new problems.
A Julia package for dealing with slightly embarrassing social situations.
2D/3D simplicial mesh generator interface for Python (Triangle, TetGen, gmsh)
Methods to soundly verify deep neural networks
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.
Maltab Toolbox For Neural Network Verification
simple nonlinear MPC
2D Simulation of a Four-bar Linkage and Arbitrary Length Pendulums