Successful Swarms: Operator Situational Awareness with Modelling and Verification at Runtime

Gu, Y., Hunt, W., Archibald, B. , Xu, M. , Sevegnani, M. and Soorati, M. D. (2023) Successful Swarms: Operator Situational Awareness with Modelling and Verification at Runtime. In: IEEE RO-MAN 2023, Busan, Korea, 28-31 August 2023, (Accepted for Publication)

[img] Text
300328.pdf - Accepted Version
Restricted to Repository staff only

6MB

Item Type:Conference Proceedings
Status:Accepted for Publication
Refereed:Yes
Glasgow Author(s) Enlighten ID:Gu, Dr Yue and Xu, Dr Mengwei and Sevegnani, Dr Michele and Archibald, Dr Blair
Authors: Gu, Y., Hunt, W., Archibald, B., Xu, M., Sevegnani, M., and Soorati, M. D.
College/School:College of Science and Engineering > School of Computing Science

University Staff: Request a correction | Enlighten Editors: Update this record