“…This literature is mostly mathematical, and theorems from this literature are parameterised, i.e., they may involve graph-parameters (e.g., the maximum degree, the number of vertices, the diameter), memory parameters (e.g., the number of internal states of the robot protocol), and the number of robots may be a parameter. Only recently has there been emphasis on formal analysis of correctness of robots in a parameterised setting [22,4,27,23,30,29]. In these formal analyses, typically it is the number of agents that is treated as the parameter [22,4,27,23].…”