Concurrent Multi-Agent Systems with Temporal Logic Objectives: Game Theoretic Analysis and Planning through Negotiation. Fu, J., Tanner, H. G., & Heinz, J. IET Control Theory and Applications, 9(3):465–474, February, 2015.
Concurrent Multi-Agent Systems with Temporal Logic Objectives: Game Theoretic Analysis and Planning through Negotiation [pdf]Pdf  Concurrent Multi-Agent Systems with Temporal Logic Objectives: Game Theoretic Analysis and Planning through Negotiation [link]Link  bibtex   

Downloads: 0