Blair Archibald |  Muffy Calder... -  《Software and systems modeling》 - 2024,23(2) - 343～367 - 共25页

摘要：Belief-desire-intention (BDI) agents are a popular agent architecture. We extend conceptual agent notation (Can)-a BDI programming language with advanced features such as failure recovery and declarat...

关键词： BDI agents |  Quantitative analysis |  Bigraphs |  Probabilistic modelling |  Robotic software

Blair Archibald |  Muffy Calder... -  《NASA Formal Methods: 15th NASA Formal Methods Symposium (NFM 2023), May 16–18, 2023, Houston, TX, USA》 -  NASA Formal Methods Symposium - 2023, - 241～259 - 共19页

摘要：Belief-Desire-Intention (BDI) agents feature probabilistic outcomes, e.g. the chance an agent tries but fails to open a door, and non-deterministic choices: what plan/intention to execute next? We wan...

关键词： BDI Agents |  Quantitative Verification |  Strategy Synthesis |  Markov Decision Process |  Bigraphs |  PRISM |  Storm

Blair Archibald |  Muffy Calder... -  《34th International Conference on Software Engineering & Knowledge Engineering: SEKE 2022, Pittsburgh, Pennsylvania, USA, 1-10 July 2022》 -  International Conference on Software Engineering & Knowledge Engineering - 2022, - 136～141 - 共6页

摘要：The Belief-Desire-Intention (BDI) architecture is a popular framework for rational agents, yet most verification approaches are limited to analysing the behaviours of an agent in a subset of all possi...

关键词： BDI agents |  Formal methods |  Environments

Blair Archibald |  Muffy Calder... -  《Software engineering and formal methods》 -  International Conference on Software Engineering and Formal Methods - 2021, - 262～281 - 共20页

摘要：The Belief-Desire-Intention (BDI) architecture is a popular framework for rational agents, yet most verification approaches are limited to analysing qualitative properties, for example whether an inte...

关键词： BDI agents |  Quantitative analysis |  Bigraphs

Blair Archibald |  Muffy Calder... -  《Graph Transformation: 13th International Conference on Graph Transformation (ICGT 2020) held as part of Conference on Software Technologies: Applications and Foundations (STAF 2020), 25–26 June 2020, Bergen, Norway》 -  International Conference on Graph Transformation - 2020, - 3～19 - 共17页

摘要：Bigraphs are a universal graph based model, designed for analysing reactive systems that include spatial and non-spatial (e.g. communication) relationships. Bigraphs evolve over time using a rewriting...

关键词： Bigraphs |  Bigraphical reactive systems |  Application conditions |  Conditional rewriting

Oana Andrei |  Muffy Calder -  《The journal of logical and algebraic methods in programming》 - 2018,100(Nov.) - 195～214 - 共20页

摘要：This paper answers the research question: how can we model and understand the ways in which usersactuallyinteract with software, given that usage styles vary from user to user, and even from use to us...

关键词： Interactive software |  Log analysis |  Usage behaviour |  Admixture models |  Latent variables |  Probabilistic model checking

Michele Sevegnani |  Milan Kabac... -  《2018 23rd International Conference on Engineering of Complex Computer Systems: ICECCS 2018, Melbourne, Australia, 12-14 December 2018》 -  International Conference on Engineering of Complex Computer Systems - 2018, - 71～81 - 共11页

摘要：Large-scale wireless sensor networks (WSN) are increasingly deployed and an open question is how they can support multiple applications. Networks and sensing devices are typically heterogeneous and ev...

关键词： Wireless sensor networks |  Computational modeling |  Cognition |  Mathematical model |  Urban areas |  Monitoring |  Bridges

NSTL主题词： Verification |  Modeling |  INFRASTRUCTURE |  Sensor networks

Michele Sevegnani |  Muffy Calder -  《Computer aided verification : Part II》 -  International Conference on Computer Aided Verification - 2016, - 494～501 - 共8页

摘要：BigraphER is a suite of open-source tools providing an efficient implementation of rewriting, simulation, and visualisation for bigraphs, a universal formalism for modelling interacting systems that e...

关键词： BigraphER |  Rewriting |  Bigraphs

NSTL主题词： Engines |  Analysis

Muffy Calder |  Michele Sevegnani -  《Formal aspects of computing》 - 2014,26(3) - 537～561 - 共25页

摘要：Stochastic bigraphical reactive systems (SBRS) is a recent formalism for modelling systems that evolve in time and space. However, the underlying spatial model is based on sets of trees and thus canno...

关键词： 802.11 protocol |  Formal verification |  Quantitative analysis |  Reactive systems |  Stochastic bigraphs

Muffy Calder |  Alexandros Koliousis... -  《Science of Computer Programming》 - 2014,80(Pt.B) - 288～310 - 共23页 - 被引量：10

摘要：Home wireless networks are difficult to manage and comprehend because of evolving locality, co-locality, connectivity and interaction. We define formal models of home wireless network infrastructure a...

关键词： Network management |  Verification |  Bigraphical reaction systems |  Bigraphs with sharing |  Runtime model generation