Agent systems verification: systematic literature review and mapping
NA Bakar, A Selamat - Applied Intelligence, 2018 - Springer
Agent systems are distributed systems consist of agents that autonomously interact to each
other in an environment to perform tasks and achieve goals. Performing verification is …
other in an environment to perform tasks and achieve goals. Performing verification is …
[HTML][HTML] Combined model checking for temporal, probabilistic, and real-time logics
Abstract Model checking is a well-established technique for the formal verification of
concurrent and distributed systems. In recent years, model checking has been extended and …
concurrent and distributed systems. In recent years, model checking has been extended and …
Model checking agent-based communities against uncertain group commitments and knowledge
In recent years, the use of Multi-Agent Systems (MASs) to solve complex problems has
grown rapidly. Social communicative commitments have been widely employed in such …
grown rapidly. Social communicative commitments have been widely employed in such …
Model checking epistemic–probabilistic logic using probabilistic interpreted systems
W Wan, J Bentahar, AB Hamza - Knowledge-Based Systems, 2013 - Elsevier
Abstract Model checking is a formal technique widely used to verify security and
communication protocols in epistemic multi-agent systems against given properties …
communication protocols in epistemic multi-agent systems against given properties …
EPMC Gets Knowledge in Multi-agent Systems
In this paper, we present epmc, an extendible probabilistic model checker. epmc has a small
kernel, and is designed modularly. It supports discrete probabilistic models such as Markov …
kernel, and is designed modularly. It supports discrete probabilistic models such as Markov …
Model checking probabilistic epistemic logic for probabilistic multiagent systems
© 2018 International Joint Conferences on Artificial Intelligence. All right reserved. In this
work we study the model checking problem for probabilistic multiagent systems with respect …
work we study the model checking problem for probabilistic multiagent systems with respect …
Symbolic model checking of probabilistic knowledge
X Huang, C Luo, R van der Meyden - Proceedings of the 13th …, 2011 - dl.acm.org
This paper describes an algorithm for model checking a fragment of the logic of knowledge
and probability in multi-agent systems, with respect to a perfect recall interpretation of …
and probability in multi-agent systems, with respect to a perfect recall interpretation of …
Modeling and verifying probabilistic multi-agent systems using knowledge and social commitments
Abstract Multi-Agent Systems (MASs) have long been modeled through knowledge and
social commitments independently. In this paper, we present a new method that merges the …
social commitments independently. In this paper, we present a new method that merges the …
[PDF][PDF] Statistical runtime verification of agent-based simulations
B Herd - 2015 - kclpure.kcl.ac.uk
As a consequence of the growing adoption of agent-based simulations as decision making
tools in various (potentially also critical) areas, questions of veracity and validity become …
tools in various (potentially also critical) areas, questions of veracity and validity become …
Model checking epistemic and probabilistic properties of multi-agent systems
W Wan, J Bentahar, A Ben Hamza - … of Applied Intelligent Systems, IEA/AIE …, 2011 - Springer
Abstract Model checking, a formal automatic verification method, has been widely used in
multi-agent systems to verify specifications that contain qualitative properties (eg safety and …
multi-agent systems to verify specifications that contain qualitative properties (eg safety and …