LS-Lab / KeYmaeraX-release Star 76 Code Issues Pull requests KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release) scala proof mathematica tactics dynamical-systems differential-equations hybrid-systems theorem-prover axiom cyber-physical-systems dynamic-logics differential-dynamic-logic keymaera hybrid-games Updated Sep 24, 2024 Scala
IBM / vsrl-framework Star 56 Code Issues Pull requests The Verifiably Safe Reinforcement Learning Framework reinforcement-learning pytorch reinforcement-learning-algorithms formal-methods formal-verification keymaerax safety-critical cyber-physical-systems differential-dynamic-logic keymaera safe-reinforcement-learning reinforcement-learning-environments safe-control Updated Jul 22, 2021 Python
LS-Lab / KeYmaera-release Star 8 Code Issues Pull requests Older KeYmaera 3: A Hybrid Theorem Prover for Hybrid Systems java proof mathematica dynamical-systems differential-equations hybrid-systems theorem-prover cyber-physical-systems dynamic-logics differential-dynamic-logic Updated Dec 15, 2014 Java
LS-Lab / KeYmaeraX-projects Star 5 Code Issues Pull requests Projects, models, and proofs in KeYmaera X proof dynamical-systems hybrid-systems keymaerax cyber-physical-systems differential-dynamic-logic hybrid-games Updated Aug 30, 2024 Shell