Concurrent multi‐agent systems with temporal logic objectives: game theoretic analysis and planning through negotiation Article in IET Control Theory and Applications (February 2015)