Skip to content
#

certified-planning

Star

Here is 1 public repository matching this topic...

Archerkattri / CERT-FLOW

Star 1

Certified route planning under drifting costs: conformal certificates (LB<=OPT<=UB), certificate-directed sensing, proof-gated ns-us preprocessing. 223 tests, 16 reproduction pipelines, theory incl. an impossibility theorem.

python research robotics motion-planning path-planning uncertainty planning shortest-paths uncertainty-quantification operations-research formal-verification d-star-lite preprint route-planning conformal-prediction contraction-hierarchies certified-planning
  • Updated Jun 13, 2026
  • Python

Improve this page

Add a description, image, and links to the certified-planning topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the certified-planning topic, visit your repo's landing page and select "manage topics."

Learn more