keymaerax

There are 7 repositories under keymaerax topic.

IBM/vsrl-framework
The Verifiably Safe Reinforcement Learning Framework
Language:Python56 9 512
LS-Lab/KeYmaeraX-projects
Projects, models, and proofs in KeYmaera X
Language:Shell6 14 08
nrfulton/kyxAsLibraryExample
How to use KeYmaera X as a library in a Scala code base.
Language:Scala2 2 00
nrfulton/scuba-release
Formal verification of a SCUBA ascent protocol.
1 2 01
LS-Lab/Verified-Neural-Highway-Control
Verification of Autonomous Neural Car Control with KeYmaera X
Language:Jupyter Notebook00
alperaltuntas/keymaera-kpp
The Keymaera X models of the KPP scheme
3 0
nrfulton/SpaceEx2KeYmaeraX
Very limited SpaceEx -> KeYmaera X converter
Language:Scala2 0