@inproceedings{DBLP:conf/hri/AbioyeHGSNFRSAS24, author = {Ayodeji Opeyemi Abioye and William Hunt and Yue Gu and Eike Schneiders and Mohammad Naiseh and Joel E. Fischer and Sarvapali D. Ramchurn and Mohammad Divband Soorati and Blair Archibald and Michele Sevegnani}, editor = {Dan Grollman and Elizabeth Broadbent and Wendy Ju and Harold Soh and Tom Williams}, title = {The Effect of Predictive Formal Modelling at Runtime on Performance in Human-Swarm Interaction}, booktitle = {Companion of the 2024 {ACM/IEEE} International Conference on Human-Robot Interaction, {HRI} 2024, Boulder, CO, USA, March 11-15, 2024}, pages = {172--176}, publisher = {{ACM}}, year = {2024}, url = {https://doi.org/10.1145/3610978.3640725}, doi = {10.1145/3610978.3640725}, timestamp = {Mon, 01 Apr 2024 11:14:15 +0200}, biburl = {https://dblp.org/rec/conf/hri/AbioyeHGSNFRSAS24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }