Author of the publication

Quantitative Verification and Strategy Synthesis for BDI Agents.

, , , and . NFM, volume 13903 of Lecture Notes in Computer Science, page 241-259. Springer, (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)Modelling and verifying BDI agents with bigraphs., , , and . Sci. Comput. Program., (2022)Probabilistic Bigraphs., , and . Formal Aspects Comput., 34 (2): 1-27 (2022)Quantitative Verification and Strategy Synthesis for BDI Agents., , , and . NFM, volume 13903 of Lecture Notes in Computer Science, page 241-259. Springer, (2023)Observable and Attention-Directing BDI Agents for Human-Autonomy Teaming., , , and . FMAS, volume 348 of EPTCS, page 167-175. (2021)