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 motion-planning-algorithms path-planning-algorithm cooperative-a-star-algorithm motion-planning-algorithm motion-planning-scenario deterministic-systems collision-avoidance-and-navigation
-
Updated
Mar 2, 2026 - Python