Logic of Autonomous Dynamical Systems Lab

All

9 repositories

KeYmaeraX-projects
Public
Projects, models, and proofs in KeYmaera X
dynamical-systems hybrid-systems keymaerax cyber-physical-systems differential-dynamic-logic hybrid-games proof
Shell
•8•7•0•0•Updated May 22, 2025May 22, 2025
Compilers-course-code-template
Public template
1•4•0•0•Updated May 13, 2025May 13, 2025
Verified-Neural-Highway-Control
Public
Verification of Autonomous Neural Car Control with KeYmaera X
neural-network theorem-proving verification keymaerax differential-dynamic-logic car-control
Jupyter Notebook
•0•0•0•0•Updated Mar 3, 2025Mar 3, 2025
KeYmaeraX-release
Public
KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
scala tactics dynamical-systems differential-equations theorem-prover axiom cyber-physical-systems dynamic-logics differential-dynamic-logic hybrid-games
Scala
•
GNU General Public License v2.0
•40•81•15•2•Updated Feb 28, 2025Feb 28, 2025
Isabelle-dL
Public
A formally verified implementation of differential dynamic logic in Isabelle
Isabelle
•0•5•0•0•Updated May 16, 2022May 16, 2022
Coq-dL
Public
A formally verified implementation of differential dynamic logic in Coq
Coq
•
GNU General Public License v3.0
•3•17•0•1•Updated May 16, 2022May 16, 2022
orbital
Public
Orbital Library
math computer-algebra theorem-proving java
Java
•
GNU General Public License v2.0
•3•9•0•0•Updated Feb 15, 2017Feb 15, 2017
KeYmaera-release
Public
Older KeYmaera 3: A Hybrid Theorem Prover for Hybrid Systems
proof mathematica dynamical-systems differential-equations hybrid-systems theorem-prover cyber-physical-systems dynamic-logics differential-dynamic-logic java
Java
•
Other
•4•8•0•0•Updated Dec 15, 2014Dec 15, 2014
SMC
Public
Java
•0•1•0•0•Updated Oct 3, 2013Oct 3, 2013