A Formally Proven Polynomial-Scaling Safety Algorithm for High-Dimensional Robotic Systems (d ≥ 6).
Lean Updated 22 days ago 1 commits 1 stars
drift-coder|Mirror: AEjonanonymous/Compressed-Manifold-Reachability (⭐1)
22 days agoAbout
A Formally Proven Polynomial-Scaling Safety Algorithm for High-Dimensional Robotic Systems (d ≥ 6).
Readme
1 stars