TY - RPRT TI - The Effect of Predictive Formal Modelling at Runtime on Performance in Human-Swarm Interaction AU - Ayodeji O. Abioye AU - William Hunt AU - Yue Gu AU - Eike Schneiders AU - Mohammad Naiseh AU - Joel E. Fischer AU - Sarvapali D. Ramchurn AU - Mohammad D. Soorati AU - Blair Archibald AU - Michele Sevegnani PY - 2024 DO - 10.1145/3610978.3640725 UR - https://arxiv.org/abs/2401.11945 ID - 2401.11945 ER -