Skip to content
#

collision-avoidance-and-navigation

Star

Here are 2 public repositories matching this topic...

sunday-pichai / multi-agent-system

Star 1

Deterministic multi-agent warehouse simulator using cooperative path planning, symmetry reduction, and bounded safety verification with verification-guided refinement.

verification motion-planning path-planning formal-verification collision-avoidance multi-agent-systems robotics-simulation symmetry-reduction collision-avoidance-algorithm conflict-based-search motion-planning-algorithms path-planning-algorithm cooperative-a-star-algorithm motion-planning-algorithm motion-planning-scenario deterministic-systems collision-avoidance-and-navigation
  • Updated Feb 5, 2026
  • Python

Improve this page

Add a description, image, and links to the collision-avoidance-and-navigation 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 collision-avoidance-and-navigation topic, visit your repo's landing page and select "manage topics."

Learn more