2 results found Sort:

LS-Lab
KeYmaeraX-release LS-Lab
39
78
gpl-2.0
14
KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
axiom proof scala tactics keymaera mathematica hybrid-games dynamic-logics hybrid-systems theorem-prover dynamical-systems cyber-physical-systems differential-equations differential-dynamic-logic
Created 2015-08-26
16,739 commits to master branch, last one 2 months 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