Dr Yue Gu

  • Research Associate (Computing Science)

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: 2024 | 2023
Number of items: 2.

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, (Accepted for Publication)

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, (Accepted for Publication)

This list was generated on Sun Mar 3 03:13:19 2024 GMT.
Number of items: 2.

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, (Accepted for Publication)

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)

This list was generated on Sun Mar 3 03:13:19 2024 GMT.