GitHub / IBM / vsrl-framework
The Verifiably Safe Reinforcement Learning Framework
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/IBM%2Fvsrl-framework
Stars: 56
Forks: 12
Open issues: 4
License: mit
Language: Python
Size: 1.92 MB
Dependencies parsed at: Pending
Created at: almost 5 years ago
Updated at: 8 months ago
Pushed at: almost 4 years ago
Last synced at: about 20 hours ago
Topics: cyber-physical-systems, differential-dynamic-logic, formal-methods, formal-verification, keymaera, keymaerax, pytorch, reinforcement-learning, reinforcement-learning-algorithms, reinforcement-learning-environments, safe-control, safe-reinforcement-learning, safety-critical