Safe Multi-Agent Planning Under Time-Window Temporal Logic Specifications