differential-dynamic-logic

There are 1 repository under differential-dynamic-logic topic.

LS-Lab / KeYmaeraX-release
KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
hybrid-systems theorem-prover dynamic-logics dynamical-systems proof tactics mathematica differential-dynamic-logic differential-equations axiom cyber-physical-systems scala hybrid-games keymaera
Language:Scala 72
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 / KeYmaera-release
Older KeYmaera 3: A Hybrid Theorem Prover for Hybrid Systems
hybrid-systems theorem-prover dynamic-logics dynamical-systems proof differential-dynamic-logic differential-equations cyber-physical-systems mathematica java
Language:Java 8
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