Dr Yue Gu

  • Research Associate (Computing Science)

email: Yue.Gu@glasgow.ac.uk

F122, Sir Alwyn Williams Building, University of Glasgow, G12 8RZ

Import to contacts

ORCID iDhttps://orcid.org/0000-0002-8134-5822

Biography

Yue received the B.Eng degree in Automation from Northwestern Polytechnical University, Xi’an, China in 2014 and the M.Sc.Eng degree in Advanced Control and System Engineering in 2015 from The University of Sheffield, Sheffield, UK, where he obtained his Ph.D. degree in Robotics in 2021. Since then, he has been a Research Associate with the School of Computing Science, The University of Glasgow, Glasgow, UK, working on the runtime modelling and verification. In 2022, he received the Post-Doctoral Enrichment Award of £2000 from the Alan Turing Institute. His research interests include swarm robotics, machine learning and formal methods.

Publications

List by: Type | Date

Jump to: 2025 | 2024 | 2023
Number of items: 3.

2025

Abioye, A. O., Hunt, W., Gu, Y. , Schneiders, E., Naiseh, M., Archibald, B. , Sevegnani, M. , Ramchurn, S. D., Fishcer, J. E. and Soorati, M. (2025) A user study evaluation of predictive formal modelling at runtime in human-swarm interaction. ACM Transactions on Human-Robot Interaction, (doi: 10.1145/3727989) (Early Online Publication)

2024

Abioye, A. O., Hunt, W., Gu, Y., Schneiders, E., Naiseh, M., Fischer, J. E., Ramchurn, S. D., Soorati, M. D., Archibald, B. and Sevegnani, M. (2024) The Effect of Predictive Formal Modelling at Runtime on Performance in Human-Swarm Interaction. In: 19th Annual ACM/IEEE International Conference on Human Robot Interaction (HRI 2024), Boulder, Colorado, USA, 11-15 March 2024, pp. 172-176. ISBN 9798400703232 (doi: 10.1145/3610978.3640725)

2023

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, pp. 541-548. ISBN 9798350336702 (doi: 10.1109/RO-MAN57019.2023.10309626)

This list was generated on Tue Apr 15 20:54:51 2025 BST.
Jump to: Articles | Conference Proceedings
Number of items: 3.

Articles

Abioye, A. O., Hunt, W., Gu, Y. , Schneiders, E., Naiseh, M., Archibald, B. , Sevegnani, M. , Ramchurn, S. D., Fishcer, J. E. and Soorati, M. (2025) A user study evaluation of predictive formal modelling at runtime in human-swarm interaction. ACM Transactions on Human-Robot Interaction, (doi: 10.1145/3727989) (Early Online Publication)

Conference Proceedings

Abioye, A. O., Hunt, W., Gu, Y., Schneiders, E., Naiseh, M., Fischer, J. E., Ramchurn, S. D., Soorati, M. D., Archibald, B. and Sevegnani, M. (2024) The Effect of Predictive Formal Modelling at Runtime on Performance in Human-Swarm Interaction. In: 19th Annual ACM/IEEE International Conference on Human Robot Interaction (HRI 2024), Boulder, Colorado, USA, 11-15 March 2024, pp. 172-176. ISBN 9798400703232 (doi: 10.1145/3610978.3640725)

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, pp. 541-548. ISBN 9798350336702 (doi: 10.1109/RO-MAN57019.2023.10309626)

This list was generated on Tue Apr 15 20:54:51 2025 BST.