1 result found Sort:

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