Planner for Multiple Agent System with Temporal Goals