Abioye, A. O., Hunt, W., Gu, Y., Schneiders, E., Naiseh, M., Fischer, J. E., Ramchurn, S. D., Soorati, M. D., Archibald, B., & Sevegnani, M. (2024, March). The Effect of Predictive Formal Modelling at Runtime on Performance in Human-Swarm Interaction. Presented at HRI '24: ACM/IEEE International Conference on Human-Robot Interaction, Boulder CO USA