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

Yue Gu, William Hunt, Blair Archibald, Mengwei Xu, Michele Sevegnani, Mohammad Divband Soorati. Successful Swarms: Operator Situational Awareness with Modelling and Verification at Runtime. In 32nd IEEE International Conference on Robot and Human Interactive Communication, RO-MAN 2023, Busan, Republic of Korea, August 28-31, 2023. pages 541-548, IEEE, 2023. [doi]

Authors

Yue Gu

This author has not been identified. Look up 'Yue Gu' in Google

William Hunt

This author has not been identified. Look up 'William Hunt' in Google

Blair Archibald

This author has not been identified. Look up 'Blair Archibald' in Google

Mengwei Xu

This author has not been identified. Look up 'Mengwei Xu' in Google

Michele Sevegnani

This author has not been identified. Look up 'Michele Sevegnani' in Google

Mohammad Divband Soorati

This author has not been identified. Look up 'Mohammad Divband Soorati' in Google