Multi-Agent Path Planning for Finite Horizon Tasks with Counting Time Temporal Logics | IEEE Conference Publication | IEEE Xplore