On the design of coordination diagnosis algorithms for teams of situated agents
scientific article; zbMATH DE number 5576685
scientific article