Logic of Autonomous Dynamical Systems Lab
Logic of Autonomous Dynamical Systems Lab @ Karlsruhe Institute of Technology
Pinned
Repositories
Showing 7 of 7 repositories
- KeYmaeraX-release Public
KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
-
-
-