All Stories

  1. A formalization of multi-agent planning with explicit agent representation