Teamwork in Multi‐Agent Environments | part of Teamwork in Multi-Agent Systems: A Formal Approach | Wiley Telecom books | IEEE Xplore