Abioye, Ayodeji O., Hunt, William, Gu, Yue, Schneiders, Eike, Naiseh, Mohammad, Fischer, Joel E., Ramchurn, Sarvapali D., Soorati, Mohammad D., Archibald, Blair, Sevegnani, Michele, "The Effect of Predictive Formal Modelling at Runtime on Performance in Human-Swarm Interaction", , 2024