The Effect of Predictive Formal Modelling at Runtime on Performance in Human-Swarm Interaction
(2024)
Conference Proceeding
Abioye, A. O., Hunt, W., Gu, Y., Schneiders, E., Naiseh, M., Fischer, J. E., …Sevegnani, M. (2024). The Effect of Predictive Formal Modelling at Runtime on Performance in Human-Swarm Interaction. In HRI ’24 Companion of the 2024 ACM/IEEE International Conference on Human-Robot Interaction. https://doi.org/10.1145/3610978.3640725
Formal Modelling is often used as part of the design and testing process of software development to ensure that components operate within suitable bounds even in unexpected circumstances. In this paper, we use predictive formal modelling (PFM) at run... Read More about The Effect of Predictive Formal Modelling at Runtime on Performance in Human-Swarm Interaction.