Pinned Repositories
realtime-frs
Fast construction of safe approximations to forward reachable sets for arbitrary dynamical systems via linear bounding and programming.
Classification_Based_Reachability
Vicenç Rubies Royo, David Fridovich-Keil, Sylvia Herbert, and Claire J. Tomlin, "Classification-based Approximate Reachability with Guarantees Applied to Safe Trajectory Tracking." IEEE International Conference on Intelligent Robots, 2019
ilqgames
Iterative Linear-Quadratic Games!
autoware.universe
baselines
DLS
EGP
IRL code and Value function related code
MABRL
MBRL
Model Based RL
NN_Reachability
MrRubyRed's Repositories
MrRubyRed/autoware.universe
MrRubyRed/baselines
MrRubyRed/DLS
MrRubyRed/EGP
IRL code and Value function related code
MrRubyRed/MABRL
MrRubyRed/MBRL
Model Based RL
MrRubyRed/NN_Reachability
MrRubyRed/Policy_Reachability
Reachability based on computing the policy directly
MrRubyRed/SensitivityVerification
This repository contains all the code for the paper "Sensitivity Analysis for Neural Network Verification and Robustness Problems"
MrRubyRed/spinningup
An educational resource to help anyone learn deep reinforcement learning.
MrRubyRed/torch_sandbox