keymaerax

There are 1 repository under keymaerax topic.

IBM / vsrl-framework
The Verifiably Safe Reinforcement Learning Framework
reinforcement-learning safety-critical formal-verification formal-methods reinforcement-learning-algorithms reinforcement-learning-environments cyber-physical-systems keymaerax keymaera differential-dynamic-logic pytorch safe-reinforcement-learning safe-control
Language:Python 53
LS-Lab / KeYmaeraX-projects
Projects, models, and proofs in KeYmaera X
keymaerax differential-dynamic-logic hybrid-systems hybrid-games dynamical-systems cyber-physical-systems proof
Language:Shell 5
nrfulton / kyxAsLibraryExample
How to use KeYmaera X as a library in a Scala code base.
tutorial-code keymaerax theorem-proving hybrid-systems cyber-physical-systems
Language:Scala 2
nrfulton / scuba-release
Formal verification of a SCUBA ascent protocol.
proof keymaera keymaerax formal-methods formal-verification scuba scuba-diving hybrid-systems cyber-physical-systems
1
alperaltuntas / keymaera-kpp
The Keymaera X models of the KPP scheme
keymaerax cesm
nrfulton / SpaceEx2KeYmaeraX
Very limited SpaceEx -> KeYmaera X converter
spaceex keymaerax cyber-physical-systems benchmarks
Language:Scala