Return to Article Details Verification and Automated Construction of Social Laws for MAPF (Student Abstract) Download Download PDF