Author of the publication

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

, , , , , and . RO-MAN, page 541-548. IEEE, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Generic Exact Combinatorial Search at HPC Scale., , and . Int. J. Parallel Program., 51 (1): 83-106 (February 2023)Algorithmic skeletons for exact combinatorial search at scale.. University of Glasgow, UK, (2018)British Library, EThOS.Implementing YewPar: A Framework for Parallel Tree Search., , , and . Euro-Par, volume 11725 of Lecture Notes in Computer Science, page 184-196. Springer, (2019)BigraphTalk: Verified Design of IoT Applications., , , , and . IEEE Internet of Things Journal, 7 (4): 2955-2967 (2020)A tale of two graph models: a case study in wireless sensor networks., , and . Formal Aspects Comput., 33 (6): 1249-1277 (2021)Parallel Flowshop in YewPar., , , and . CoRR, (2022)Observable and Attention-Directing BDI Agents for Human-Autonomy Teaming., , , and . FMAS, volume 348 of EPTCS, page 167-175. (2021)Probabilistic Bigraphs., , and . Formal Aspects Comput., 34 (2): 1-27 (2022)Modelling and verifying BDI agents with bigraphs., , , and . Sci. Comput. Program., (2022)YewPar: skeletons for exact combinatorial search., , , and . PPoPP, page 292-307. ACM, (2020)