Auditable and Deployable Multi-Agent Motion Planning via Posetal Games from Legal Guidelines
The work introduces a framework for multi-agent motion planning using posetal games based on legal guidelines. It translates abstract legal concerns into agent preferences, allowing agents to plan movements while adhering to partially specified laws. This method ensures legality by proving that private objectives can only select among legal behaviors.