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

Ayodeji Opeyemi Abioye, William Hunt, Yue Gu, Eike Schneiders, Mohammad Naiseh, Joel E. Fischer, Sarvapali D. Ramchurn, Mohammad Divband Soorati, Blair Archibald, Michele Sevegnani. The Effect of Predictive Formal Modelling at Runtime on Performance in Human-Swarm Interaction. In Dan Grollman, Elizabeth Broadbent, Wendy Ju, Harold Soh, Tom Williams 0001, editors, Companion of the 2024 ACM/IEEE International Conference on Human-Robot Interaction, HRI 2024, Boulder, CO, USA, March 11-15, 2024. pages 172-176, ACM, 2024. [doi]

Abstract

Abstract is missing.