Deterministic multi-agent warehouse simulator using cooperative path planning, symmetry reduction, and bounded safety verification with verification-guided refinement.
verificationmotion-planningpath-planningformal-verificationcollision-avoidancemulti-agent-systemsrobotics-simulationsymmetry-reductioncollision-avoidance-algorithmmotion-planning-algorithmspath-planning-algorithmcooperative-a-star-algorithmmotion-planning-algorithmmotion-planning-scenariodeterministic-systemscollision-avoidance-and-navigation
-
Updated
Mar 2, 2026 - Python