2 results found Sort:

wanxinjin
Safe-PDP wanxinjin
7
70
mit
2
Safe Pontryagin Differentiable Programming (Safe PDP) is a new theoretical and algorithmic safe differentiable framework to solve a broad class of safety-critical learning and control tasks.
constraints optimization safe-control safe-planning safety-critical robotics-control constrained-learning constraint-programming non-convex-optimization safety-critical-systems constrained-optimization safety-critical-learning constraint-based-modeling differentiable-programming safe-reinforcement-learning constrained-reinforcement-learning
Created 2021-05-31
10 commits to main branch, last one 2 years ago
IBM
vsrl-framework IBM
12
56
mit
10
The Verifiably Safe Reinforcement Learning Framework
pytorch keymaera keymaerax safe-control formal-methods safety-critical formal-verification cyber-physical-systems reinforcement-learning differential-dynamic-logic safe-reinforcement-learning reinforcement-learning-algorithms reinforcement-learning-environments
This repository has been archived (exclude archived)
Created 2020-07-07
35 commits to master branch, last one 3 years ago