hybrid-games

There are 0 repository under hybrid-games 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
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