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