Chelsea Sidrane's repositories
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)
Language:Python000
chelseas
Config files for my GitHub profile.
000
cpo
Constrained Policy Optimization
Language:Python000
gym_new_env
open ai gym environment + some new problems.
Language:JuliaNOASSERTION000
NeuralVerification.jl
Methods to soundly verify deep neural networks
Language:CNOASSERTION000
SimulEstControl
Simultaneous estimation and control framework
Language:Jupyter Notebook000