%0 Conference Paper %1 conf/ro-man/GuHAXSS23 %A Gu, Yue %A Hunt, William %A Archibald, Blair %A Xu, Mengwei %A Sevegnani, Michele %A Soorati, Mohammad Divband %B RO-MAN %D 2023 %I IEEE %K dblp %P 541-548 %T Successful Swarms: Operator Situational Awareness with Modelling and Verification at Runtime. %U http://dblp.uni-trier.de/db/conf/ro-man/ro-man2023.html#GuHAXSS23 %@ 979-8-3503-3670-2

@inproceedings{conf/ro-man/GuHAXSS23, added-at = {2023-11-23T00:00:00.000+0100}, author = {Gu, Yue and Hunt, William and Archibald, Blair and Xu, Mengwei and Sevegnani, Michele and Soorati, Mohammad Divband}, biburl = {https://www.bibsonomy.org/bibtex/232e1cb591e4fe461f3dc039e431b9fd4/dblp}, booktitle = {RO-MAN}, crossref = {conf/ro-man/2023}, ee = {https://doi.org/10.1109/RO-MAN57019.2023.10309626}, interhash = {3a3194f7fd626ec89b8a338936a4b587}, intrahash = {32e1cb591e4fe461f3dc039e431b9fd4}, isbn = {979-8-3503-3670-2}, keywords = {dblp}, pages = {541-548}, publisher = {IEEE}, timestamp = {2024-04-09T12:10:31.000+0200}, title = {Successful Swarms: Operator Situational Awareness with Modelling and Verification at Runtime.}, url = {http://dblp.uni-trier.de/db/conf/ro-man/ro-man2023.html#GuHAXSS23}, year = 2023 }