E-LIB Suche - Ergebnisse für: Calder, Muffy

1

Quantitative modelling and analysis of BDI agents:

Archibald, Blair ; Calder, Muffy ; Sevegnani, Michele.
Software and Systems Modeling. 23 (2023) 2 - p. 343-367 , 2023

Link: https://doi.org/10.1007/..

2

Quantitative Verification and Strategy Synthesis for BDI Ag..:

, In: Lecture Notes in Computer Science; NASA Formal Methods,

Archibald, Blair ; Calder, Muffy ; Sevegnani, Michele. - p. 241-259 , 2023

Link: https://doi.org/10.1007/..

3

Quantitative modelling and analysis of BDI agents:

Archibald, Blair ; Calder, Muffy ; Sevegnani, Michele.
https://eprints.gla.ac.uk/302045/1/302045.pdf. , 2023

Link: https://eprints.gla.ac.u..

4

Probabilistic Formal Modelling to Uncover and Interpret Int..:

Andrei, Oana ; Calder, Muffy ; Chalmers, Matthew.
http://arxiv.org/abs/2305.01656. , 2023

Link: http://arxiv.org/abs/230..

5

Modelling and verifying BDI agents with bigraphs:

Archibald, Blair ; Calder, Muffy ; Sevegnani, Michele.
Science of Computer Programming. 215 (2022) - p. 102760 , 2022

Link: https://doi.org/10.1016/..

6

Probabilistic Bigraphs:

Archibald, Blair ; Calder, Muffy ; Sevegnani, Michele
Formal Aspects of Computing. 34 (2022) 2 - p. 1-27 , 2022

Link: https://doi.org/10.1145/..

7

Probabilistic bigraphs:

Archibald, Blair ; Calder, Muffy ; Sevegnani, Michele
https://eprints.gla.ac.uk/273661/1/273661.pdf. , 2022

Link: https://eprints.gla.ac.u..

8

Probabilistic Bigraphs: Models:

Archibald, Blair ; Sevegnani, Michele ; Calder, Muffy
doi:10.5281/zenodo.3971679. , 2022

Link: https://zenodo.org/recor..

9

Modelling and verifying BDI agents with bigraphs:

Archibald, Blair ; Calder, Muffy ; Sevegnani, Michele.
https://eprints.gla.ac.uk/259817/2/259817.pdf. , 2022

Link: https://eprints.gla.ac.u..

10

Probabilistic BDI Agents: Actions, Plans, and Intentions:

, In: Software Engineering and Formal Methods; Lecture Notes in Computer Science,

Archibald, Blair ; Calder, Muffy ; Sevegnani, Michele. - p. 262-281 , 2021

Link: https://doi.org/10.1007/..

11

Observable and Attention-Directing BDI Agents for Human-Aut..:

Archibald, Blair ; Calder, Muffy ; Sevegnani, Michele.
http://arxiv.org/abs/2110.12579. , 2021

Link: http://arxiv.org/abs/211..

12

Probablistic Bigraphs:

Archibald, Blair ; Calder, Muffy ; Sevegnani, Michele
http://arxiv.org/abs/2105.02559. , 2021

Link: http://arxiv.org/abs/210..

13

Modelling and Verifying BDI Agents with Bigraphs:

Archibald, Blair ; Calder, Muffy ; Sevegnani, Michele.
http://arxiv.org/abs/2105.02578. , 2021

Link: http://arxiv.org/abs/210..

14

Conditional Bigraphs:

, In: Graph Transformation; Lecture Notes in Computer Science,

Archibald, Blair ; Calder, Muffy ; Sevegnani, Michele - p. 3-19 , 2020

Link: https://doi.org/10.1007/..

15

Stochastic Model Checking for Predicting Component Failures..:

Calder, Muffy ; Sevegnani, Michele
IEEE Transactions on Dependable and Secure Computing. 16 (2019) 1 - p. 174-187 , 2019

Link: https://doi.org/10.1109/..