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

Yue Gu, William Hunt, Blair Archibald, Mengwei Xu, Michele Sevegnani, Mohammad Divband Soorati

Browse the full RO-MAN paper archive.