Verbrugge Rineke

Teamwork in Multi-Agent Systems. A Formal Approach