The Effect of Predictive Formal Modelling at Runtime on Performance in Human-Swarm Interaction

Open in new window