trouverun's Stars
ShaoruChen/Neural-Barrier-Function
Verification-aided learning of NN barrier functions with a convex optimization-based fine-tuning step can boost success rate.
UCSD-SASLab/HopfReachability
Julia package for computing Hamilton-Jacobi Reachability of optimal 2-player (control/disturbance) differential games via Hopf optimization
google-research/tuning_playbook
A playbook for systematically maximizing the performance of deep learning models.
Verified-Intelligence/Lyapunov_Stable_NN_Controllers
Lyapunov-stable Neural Control for State and Output Feedback
hithmh/Actor-critic-with-stability-guarantee
FS-Driverless/Formula-Student-Driverless-Simulator
A virtual world where Autonomous Systems from different Formula Student teams can compete in time-trial challenges
learn-to-race/l2r
Open-source reinforcement learning environment for autonomous racing — featured as a conference paper at ICCV 2021 and as the official challenge tracks at both SL4AD@ICML2022 and AI4AD@IJCAI2022. These are the L2R core libraries.
iamlab-cmu/isaacgym-utils
Wrappers and utilities for Nvidia IsaacGym
google-research/seed_rl
SEED RL: Scalable and Efficient Deep-RL with Accelerated Central Inference. Implements IMPALA and R2D2 algorithms in TF2 with SEED's architecture.
berkeleydeeprlcourse/homework_fall2020
Assignments for Berkeley CS 285: Deep Reinforcement Learning (Fall 2020)
KinWaiCheuk/nnAudio
Audio processing by using pytorch 1D convolution network
joyiswu/UCL-Deep-learning-ans-Reinforcement-learning
Deep learning and Reinforcement learning lecture and course work
RylanSchaeffer/ucl-adv-dl-rl
ThrowTheSwitch/CMock
CMock - Mock/stub generator for C
meekrosoft/fff
A testing micro framework for creating function test doubles